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.
removed CVS Id;
authorwenzelm
Tue, 02 Dec 2008 17:50:25 +0100
changeset 28935 7c6b0850d240
parent 28934 801098c96f59
child 28946 08d9243bfaf1
removed CVS Id;
bin/isabelle-process file | annotate | diff | comparison | revisions 
--- a/bin/isabelle-process	Mon Dec 01 17:48:12 2008 +0100
+++ b/bin/isabelle-process	Tue Dec 02 17:50:25 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Isabelle process startup script.
isabelle