Project

General

Profile

Actions

Bug #10506

open

Veritool does not support escaped identifiers

Added by Alexander Kamkin over 3 years ago. Updated over 3 years 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).

Actions #1

Updated by Mikhail Chupilko over 3 years ago

  • Status changed from New to Resolved

Done but requires additional testing.

Actions

Also available in: Atom PDF