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.
*** empty log message ***
authornipkow
Tue, 26 Feb 2002 12:51:40 +0100
changeset 12948 2e22321e34ea
parent 12947 3f468029f5da
child 12949 b94843ffc0d1
*** empty log message ***
doc-src/TutorialI/free-copies file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/free-copies	Tue Feb 26 12:43:18 2002 +0100
+++ b/doc-src/TutorialI/free-copies	Tue Feb 26 12:51:40 2002 +0100
@@ -6,3 +6,8 @@
 Norbert Schirmer
 Martin Strecker
 Stephan Merz
+
+Harald Ganzinger
+Bob Boyer
+J Moore
+Shankar
isabelle