--- 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
--- 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
--- 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.
#
--- 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.
--- 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.
--- 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.
--- 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.
--- 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
--- 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.
--- 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.
--- 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(...)"
--- 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
--- 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
--- 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
--- 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
--- 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).
--- 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
--- 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
--- 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
--- 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
--- 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.
***************************************************************************/
--- 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.
***************************************************************************/
--- 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.
***************************************************************************/
--- 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>
--- 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>