# HG changeset patch
# User wenzelm
# Date 1258220165 -3600
# Node ID 8e33ca8832b144681b4646a9b85ada2b4369f6c2
# Parent  29106208ccf7b55c525f39046788c83cbb1e2579
eliminated obsolete CVS Ids;
tuned headers;

diff -r 29106208ccf7 -r 8e33ca8832b1 lib/ProofGeneral/pgip.rnc
--- a/lib/ProofGeneral/pgip.rnc	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/ProofGeneral/pgip.rnc	Sat Nov 14 18:36:05 2009 +0100
@@ -4,8 +4,6 @@
 # Authors:  David Aspinall, LFCS, University of Edinburgh       
 #           Christoph Lüth, University of Bremen       
 #
-# Version: $Id$    
-# 
 # Status:   Prototype.
 #
 # For additional commentary, see accompanying commentary document available at
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/ProofGeneral/pgip_isar.xml
--- a/lib/ProofGeneral/pgip_isar.xml	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/ProofGeneral/pgip_isar.xml	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
-
 <!-- Title:      Pure/pgip_isar.xml
-     ID:         $Id$
      Author:     David Aspinall, University of Edinburgh
-		 Christoph Lüth, University of Bremen
+     Author:     Christoph Lüth, University of Bremen
 
 This file contains the configuration messages which configure 
 PGIP interfaces for Isabelle/Isar, in particular, explaining
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/ProofGeneral/pgml.rnc
--- a/lib/ProofGeneral/pgml.rnc	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/ProofGeneral/pgml.rnc	Sat Nov 14 18:36:05 2009 +0100
@@ -3,7 +3,6 @@
 # 
 # Authors:  David Aspinall, LFCS, University of Edinburgh       
 #           Christoph Lueth, University of Bremen       
-# Version: $Id$    
 # 
 # Status:  Complete, prototype.
 # 
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/AWTFontMetrics.java
--- a/lib/browser/GraphBrowser/AWTFontMetrics.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/AWTFontMetrics.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/AWTFontMetrics.java
-  ID:         $Id$
   Author:     Gerwin Klein, TU Muenchen
-  Copyright   2003  TU Muenchen
 
   AbstractFontMetrics from the AWT for graphics mode.
   
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/AbstractFontMetrics.java
--- a/lib/browser/GraphBrowser/AbstractFontMetrics.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/AbstractFontMetrics.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/AWTFontMetrics.java
-  ID:         $Id$
   Author:     Gerwin Klein, TU Muenchen
-  Copyright   2003  TU Muenchen
 
   AbstractFontMetrics avoids dependency on java.awt.FontMetrics in 
   batch mode.
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/Box.java
--- a/lib/browser/GraphBrowser/Box.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/Box.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/Box.java
-  ID:         $Id$
   Author:     Gerwin Klein, TU Muenchen
-  Copyright   2003  TU Muenchen
 
   A box with width and height. Used instead of java.awt.Dimension for 
   batch mode.
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/Console.java
--- a/lib/browser/GraphBrowser/Console.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/Console.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/Console.java
-  ID:         $Id$
   Author:     Gerwin Klein, TU Muenchen
 
   This is the graph browser's main class when run as a console application.
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/DefaultFontMetrics.java
--- a/lib/browser/GraphBrowser/DefaultFontMetrics.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/DefaultFontMetrics.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/DefaultFontMetrics.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   Default font metrics which is used when no graphics context
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/DummyVertex.java
--- a/lib/browser/GraphBrowser/DummyVertex.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/DummyVertex.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/DummyVertex.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This class represents a dummy vertex, which is used to simplify the
   layout algorithm.
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/Graph.java
--- a/lib/browser/GraphBrowser/Graph.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/Graph.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/Graph.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This class contains the core of the layout algorithm and methods for
   drawing and PostScript output.
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/GraphBrowser.java
--- a/lib/browser/GraphBrowser/GraphBrowser.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/GraphBrowser.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/GraphBrowser.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This is the graph browser's main class. It contains the "main(...)"
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/GraphBrowserFrame.java
--- a/lib/browser/GraphBrowser/GraphBrowserFrame.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/GraphBrowserFrame.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/GraphBrowserFrame.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This class is the frame for the stand-alone application. It contains
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/GraphView.java
--- a/lib/browser/GraphBrowser/GraphView.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/GraphView.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/GraphView.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This class defines the window in which the graph is displayed. It
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/NormalVertex.java
--- a/lib/browser/GraphBrowser/NormalVertex.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/NormalVertex.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/NormalVertex.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This class represents an ordinary vertex. It contains methods for
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/Region.java
--- a/lib/browser/GraphBrowser/Region.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/Region.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/Region.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This is an auxiliary class which is used by the layout algorithm when
   calculating coordinates with the "pendulum method". A "region" is a
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/Spline.java
--- a/lib/browser/GraphBrowser/Spline.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/Spline.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      GraphBrowser/Spline.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This class is used for drawing spline curves (which are not yet
   supported by the Java AWT).
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/TreeBrowser.java
--- a/lib/browser/GraphBrowser/TreeBrowser.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/TreeBrowser.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/TreeBrowser.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This class defines the browser window which is used to display directory
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/TreeNode.java
--- a/lib/browser/GraphBrowser/TreeNode.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/TreeNode.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/TreeNode.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This class contains methods for storing and manipulating directory
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/GraphBrowser/Vertex.java
--- a/lib/browser/GraphBrowser/Vertex.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/GraphBrowser/Vertex.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,6 +1,5 @@
 /***************************************************************************
   Title:      GraphBrowser/Vertex.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
 
   This class contains attributes and methods common to all kinds of
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/Makefile
--- a/lib/browser/Makefile	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/Makefile	Sat Nov 14 18:36:05 2009 +0100
@@ -1,4 +1,3 @@
-# $Id$
 
 DST=classes
 
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/awtUtilities/Border.java
--- a/lib/browser/awtUtilities/Border.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/awtUtilities/Border.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      awtUtilities/Border.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This class defines a nice 3D border.
 ***************************************************************************/
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/awtUtilities/MessageDialog.java
--- a/lib/browser/awtUtilities/MessageDialog.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/awtUtilities/MessageDialog.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      awtUtilities/MessageDialog.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This class defines a dialog window for displaying messages and buttons.
 ***************************************************************************/
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/browser/awtUtilities/TextFrame.java
--- a/lib/browser/awtUtilities/TextFrame.java	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/browser/awtUtilities/TextFrame.java	Sat Nov 14 18:36:05 2009 +0100
@@ -1,8 +1,6 @@
 /***************************************************************************
   Title:      Graph/TextFrame.java
-  ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
 
   This class defines a simple text viewer.
 ***************************************************************************/
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/html/library_index_header.template
--- a/lib/html/library_index_header.template	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/html/library_index_header.template	Sat Nov 14 18:36:05 2009 +0100
@@ -1,7 +1,6 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<!-- $Id$ -->
 
 <html xmlns="http://www.w3.org/1999/xhtml">
 <head>
diff -r 29106208ccf7 -r 8e33ca8832b1 lib/logo/index.html
--- a/lib/logo/index.html	Sat Nov 14 18:16:13 2009 +0100
+++ b/lib/logo/index.html	Sat Nov 14 18:36:05 2009 +0100
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>