Mercurial Mercurial > hg > nominal2 / 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.
Test line
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 29 Sep 2009 13:24:57 +0200
changeset 53 a036f6fb1516
parent 52 6584b1ceedce
child 54 13a719ddef69
Test line
QuotMain.thy file | annotate | diff | comparison | revisions 
--- a/QuotMain.thy	Tue Sep 29 11:55:37 2009 +0200
+++ b/QuotMain.thy	Tue Sep 29 13:24:57 2009 +0200
@@ -1200,3 +1200,5 @@
 | INVOKE1 "obj1 \<Rightarrow> string"
 | UPDATE1 "obj1 \<Rightarrow> string \<Rightarrow> (string \<Rightarrow> obj1)"
 *)
+
+Random test line at the end
\ No newline at end of file
nominal2