# HG changeset patch
# User wenzelm
# Date 1229715449 -3600
# Node ID e7ac5bb20aedb4dc5a076c7e972c477bbcf617af
# Parent  6e0b7b11407268a032ebfb10d9eaca100dfc31f6
removed Ids;

diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/General/markup.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/General/position.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/General/symbol.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/General/xml.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/General/yxml.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/Isar/isar.scala
--- 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.
 */
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/Thy/thy_header.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/Tools/isabelle_process.scala
--- 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:
 
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/Tools/isabelle_syntax.scala
--- 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.
diff -r 6e0b7b114072 -r e7ac5bb20aed src/Pure/Tools/isabelle_system.scala
--- 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.