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.
extra copy to sk
authorpaulson
Wed, 12 Jun 2002 11:06:44 +0200
changeset 13210 254b3967ac12
parent 13209 e62a6bd3f085
child 13211 aabdb4b33625
extra copy to sk
doc-src/TutorialI/free-copies file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/free-copies	Tue Jun 11 22:53:19 2002 +0200
+++ b/doc-src/TutorialI/free-copies	Wed Jun 12 11:06:44 2002 +0200
@@ -60,6 +60,8 @@
 James Margetson
 Robin Milner*
 
+Sara Kalvala
+
 
 (for contributing comments)
isabelle