Project

General

Profile

Bug #10506

Veritool does not support escaped identifiers

Added by Alexander Kamkin 4 months ago. Updated 4 months ago.

Status:
Resolved
Priority:
High
Start date:
10/01/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

Veritool does not support escaped identifiers, such as \begin (see the standard).

Associated revisions

Revision 142 (diff)
Added by Mikhail Chupilko 4 months ago

fix #10506 (requires checking)

History

#1

Updated by Mikhail Chupilko 4 months ago

  • Status changed from New to Resolved

Done but requires additional testing.

Also available in: Atom PDF