# HG changeset patch
# User huffman
# Date 1229732170 28800
# Node ID 98b49d151093de7c4290e2204d0ff01e3250c5e4
# Parent  d5582ab1311f865561db3e43e80e438e13f6ab45# Parent  e7ac5bb20aedb4dc5a076c7e972c477bbcf617af
merged.

diff -r d5582ab1311f -r 98b49d151093 src/Pure/General/markup.scala
--- a/src/Pure/General/markup.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/General/markup.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/markup.scala
-    ID:         $Id$
     Author:     Makarius
 
 Common markup elements.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/General/position.scala
--- a/src/Pure/General/position.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/General/position.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/position.scala
-    ID:         $Id$
     Author:     Makarius
 
 Position properties.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/General/symbol.scala
--- a/src/Pure/General/symbol.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/General/symbol.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/symbol.scala
-    ID:         $Id$
     Author:     Makarius
 
 Detecting and recoding Isabelle symbols.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/General/xml.scala
--- a/src/Pure/General/xml.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/General/xml.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/xml.scala
-    ID:         $Id$
     Author:     Makarius
 
 Simple XML tree values.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/General/yxml.scala
--- a/src/Pure/General/yxml.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/General/yxml.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/General/yxml.scala
-    ID:         $Id$
     Author:     Makarius
 
 Efficient text representation of XML trees.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/Isar/isar.scala
--- a/src/Pure/Isar/isar.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/Isar/isar.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,7 +1,5 @@
 /*  Title:      Pure/Isar/isar.scala
-    ID:         $Id$
     Author:     Makarius
-    Options:    :folding=explicit:collapseFolds=1:
 
 Isar toplevel editor model.
 */
diff -r d5582ab1311f -r 98b49d151093 src/Pure/Thy/thy_header.scala
--- a/src/Pure/Thy/thy_header.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/Thy/thy_header.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Thy/thy_header.scala
-    ID:         $Id$
     Author:     Makarius
 
 Theory header keywords.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/Tools/isabelle_process.scala
--- a/src/Pure/Tools/isabelle_process.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/Tools/isabelle_process.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Tools/isabelle_process.ML
-    ID:         $Id$
     Author:     Makarius
     Options:    :folding=explicit:collapseFolds=1:
 
diff -r d5582ab1311f -r 98b49d151093 src/Pure/Tools/isabelle_syntax.scala
--- a/src/Pure/Tools/isabelle_syntax.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/Tools/isabelle_syntax.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Tools/isabelle_syntax.scala
-    ID:         $Id$
     Author:     Makarius
 
 Isabelle outer syntax.
diff -r d5582ab1311f -r 98b49d151093 src/Pure/Tools/isabelle_system.scala
--- a/src/Pure/Tools/isabelle_system.scala	Thu Dec 18 11:00:13 2008 -0800
+++ b/src/Pure/Tools/isabelle_system.scala	Fri Dec 19 16:16:10 2008 -0800
@@ -1,5 +1,4 @@
 /*  Title:      Pure/Tools/isabelle_system.scala
-    ID:         $Id$
     Author:     Makarius
 
 Isabelle system support -- basic Cygwin/Posix compatibility.