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.
tuned interpunctation
authorhaftmann
Wed, 18 Mar 2009 11:57:28 +0100
changeset 30569 696f93184f0d
parent 30568 e6a55291102e
child 30570 8fac7efcce0a
tuned interpunctation
doc-src/IsarRef/isar-ref.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/isar-ref.tex	Tue Mar 17 19:53:57 2009 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Wed Mar 18 11:57:28 2009 +0100
@@ -24,7 +24,7 @@
   With Contributions by
   Clemens Ballarin,
   Stefan Berghofer, \\
-  Timothy Bourke
+  Timothy Bourke,
   Lucas Dixon,
   Florian Haftmann, \\
   Gerwin Klein,
isabelle