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> |