Project

General

Profile

Actions
Copy link

Bug #10506

open

Veritool does not support escaped identifiers

Added by Alexander Kamkin about 4 years ago. Updated about 4 years ago.

Status:
Resolved
Priority:
High
Assignee:
Mikhail Chupilko
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).

Actions
Copy link

Also available in: Atom PDF