Ondřej Guth (4f69c088) at 30 Jun 15:23
Update README.md
Ondřej Guth (1fc5b4a6) at 30 Jun 15:23
Ondřej Guth (1fc5b4a6) at 30 Jun 15:22
Update README.md
Ondřej Guth (5d4f68d0) at 30 Jun 15:19
Add README.md
Ondřej Guth (f0b7c9cf) at 30 Jun 15:08
latex & xelatex build, preserve PDF artifact
Ondřej Guth (5ae75809) at 30 Jun 15:03
some macros renamed to get less false positives in Grammarly
Ondřej Guth (3dc73a65) at 26 Jun 10:42
matching result is N to remove clash with grammar production rule
Ondřej Guth (e7b66f6d) at 16 May 09:54
sentential form sans serif
Ondřej Guth (1b262e5c) at 16 May 09:32
sentential form
Ondřej Guth (cf716671) at 14 May 13:14
renaming; regex as a string
Ondřej Guth (2c7718e7) at 14 May 13:04
the leftmost derivation under
Ondřej Guth (257bbf7e) at 14 May 12:57
derivation step: grammar below
Ondřej Guth (56b9a2c4) at 14 May 12:54
derivation and leftmost derivation
Ondřej Guth (e19e2eff) at 13 May 12:06
a set: uppercase latin calligraphic
Ondřej Guth (51567881) at 27 Apr 12:27
notation for regexes with subroutines+lookarounds
... and 1 more commit
Ondřej Guth (c12c16d4) at 23 Mar 13:50
naming convetion for symbols
Ondřej Guth (b4d90daa) at 23 Mar 13:27
set of all regexes contains the set of variables
Ondřej Guth (13990bb9) at 23 Mar 13:24
a specific nonterminal variable denoted by N
Ondřej Guth (b52175be) at 23 Mar 13:17
distinguish nonterminal variable, nonterminal symbol and nontermina...
Ondřej Guth (d5e10ffe) at 26 Jan 11:56
particular nonterminal