Differences
This shows you the differences between two versions of the page.
|
vepar_grammar [2010/01/12 12:53] vkuncak created |
vepar_grammar [2010/01/12 12:53] (current) vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | <code java> | ||
| package guru.hol.parsers.isabelle; | package guru.hol.parsers.isabelle; | ||
| import java_cup.runtime.*; | import java_cup.runtime.*; | ||
| Line 428: | Line 429: | ||
| empty ::= /* nothing */; | empty ::= /* nothing */; | ||
| + | </code> | ||