Indexed grammar: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

18 August 2014

10 February 2014

3 February 2014

  • curprev 21:0421:04, 3 February 2014 en>Jochen Burghardt 19,507 bytes +19,507 Examples: adapted/unified notation (stack-top left), for formal def. of LIGs similar to H+U's def. of IGs (to be done)

23 May 2012