Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
have broken line
authornipkow
Wed, 23 Mar 1994 16:56:44 +0100
changeset 295 dcde5024895d
parent 294 058343877e3a
child 296 e1f6cd9f682e
have broken line
doc-src/Ref/theory-syntax.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/Ref/theory-syntax.tex	Wed Mar 23 15:21:41 1994 +0100
+++ b/doc-src/Ref/theory-syntax.tex	Wed Mar 23 16:56:44 1994 +0100
@@ -18,7 +18,7 @@
 
 name: id | string;
 
-extension : classes default types arities consts trans rules 'end' ml
+extension : classes default types arities consts trans rules \\ 'end' ml
           ;
 
 classes : ()
isabelle