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 Ids;
authorwenzelm
Fri, 19 Dec 2008 20:37:29 +0100
changeset 29140 e7ac5bb20aed
parent 29139 6e0b7b114072
child 29142 98b49d151093
child 29143 72c960b2b83e
removed Ids;
src/Pure/General/markup.scala file | annotate | diff | comparison | revisions
src/Pure/General/position.scala file | annotate | diff | comparison | revisions
src/Pure/General/symbol.scala file | annotate | diff | comparison | revisions
src/Pure/General/xml.scala file | annotate | diff | comparison | revisions
src/Pure/General/yxml.scala file | annotate | diff | comparison | revisions
src/Pure/Isar/isar.scala file | annotate | diff | comparison | revisions
src/Pure/Thy/thy_header.scala file | annotate | diff | comparison | revisions
src/Pure/Tools/isabelle_process.scala file | annotate | diff | comparison | revisions
src/Pure/Tools/isabelle_syntax.scala file | annotate | diff | comparison | revisions
src/Pure/Tools/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/markup.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/General/markup.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/markup.scala
-    ID:         $Id$
     Author:     Makarius
 
 Common markup elements.
--- a/src/Pure/General/position.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/General/position.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/position.scala
-    ID:         $Id$
     Author:     Makarius
 
 Position properties.
--- a/src/Pure/General/symbol.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/General/symbol.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/symbol.scala
-    ID:         $Id$
     Author:     Makarius
 
 Detecting and recoding Isabelle symbols.
--- a/src/Pure/General/xml.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/General/xml.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/xml.scala
-    ID:         $Id$
     Author:     Makarius
 
 Simple XML tree values.
--- a/src/Pure/General/yxml.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/General/yxml.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/yxml.scala
-    ID:         $Id$
     Author:     Makarius
 
 Efficient text representation of XML trees.
--- a/src/Pure/Isar/isar.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/Isar/isar.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,7 +1,5 @@
 /*  Title:      Pure/Isar/isar.scala
-    ID:         $Id$
     Author:     Makarius
-    Options:    :folding=explicit:collapseFolds=1:
 
 Isar toplevel editor model.
 */
--- a/src/Pure/Thy/thy_header.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/Thy/thy_header.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Thy/thy_header.scala
-    ID:         $Id$
     Author:     Makarius
 
 Theory header keywords.
--- a/src/Pure/Tools/isabelle_process.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/Tools/isabelle_process.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Tools/isabelle_process.ML
-    ID:         $Id$
     Author:     Makarius
     Options:    :folding=explicit:collapseFolds=1:
 
--- a/src/Pure/Tools/isabelle_syntax.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/Tools/isabelle_syntax.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Tools/isabelle_syntax.scala
-    ID:         $Id$
     Author:     Makarius
 
 Isabelle outer syntax.
--- a/src/Pure/Tools/isabelle_system.scala	Thu Dec 18 09:30:36 2008 -0800
+++ b/src/Pure/Tools/isabelle_system.scala	Fri Dec 19 20:37:29 2008 +0100
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Tools/isabelle_system.scala
-    ID:         $Id$
     Author:     Makarius
 
 Isabelle system support -- basic Cygwin/Posix compatibility.
isabelle