eliminated obsolete CVS Ids;
authorwenzelm
Sat Nov 14 18:36:05 2009 +0100 (2009-11-14)
changeset 336868e33ca8832b1
parent 33685 29106208ccf7
child 33687 3222fa052846
eliminated obsolete CVS Ids;
tuned headers;
lib/ProofGeneral/pgip.rnc
lib/ProofGeneral/pgip_isar.xml
lib/ProofGeneral/pgml.rnc
lib/browser/GraphBrowser/AWTFontMetrics.java
lib/browser/GraphBrowser/AbstractFontMetrics.java
lib/browser/GraphBrowser/Box.java
lib/browser/GraphBrowser/Console.java
lib/browser/GraphBrowser/DefaultFontMetrics.java
lib/browser/GraphBrowser/DummyVertex.java
lib/browser/GraphBrowser/Graph.java
lib/browser/GraphBrowser/GraphBrowser.java
lib/browser/GraphBrowser/GraphBrowserFrame.java
lib/browser/GraphBrowser/GraphView.java
lib/browser/GraphBrowser/NormalVertex.java
lib/browser/GraphBrowser/Region.java
lib/browser/GraphBrowser/Spline.java
lib/browser/GraphBrowser/TreeBrowser.java
lib/browser/GraphBrowser/TreeNode.java
lib/browser/GraphBrowser/Vertex.java
lib/browser/Makefile
lib/browser/awtUtilities/Border.java
lib/browser/awtUtilities/MessageDialog.java
lib/browser/awtUtilities/TextFrame.java
lib/html/library_index_header.template
lib/logo/index.html
     1.1 --- a/lib/ProofGeneral/pgip.rnc	Sat Nov 14 18:16:13 2009 +0100
     1.2 +++ b/lib/ProofGeneral/pgip.rnc	Sat Nov 14 18:36:05 2009 +0100
     1.3 @@ -4,8 +4,6 @@
     1.4  # Authors:  David Aspinall, LFCS, University of Edinburgh       
     1.5  #           Christoph Lüth, University of Bremen       
     1.6  #
     1.7 -# Version: $Id$    
     1.8 -# 
     1.9  # Status:   Prototype.
    1.10  #
    1.11  # For additional commentary, see accompanying commentary document available at
     2.1 --- a/lib/ProofGeneral/pgip_isar.xml	Sat Nov 14 18:16:13 2009 +0100
     2.2 +++ b/lib/ProofGeneral/pgip_isar.xml	Sat Nov 14 18:36:05 2009 +0100
     2.3 @@ -1,8 +1,6 @@
     2.4 -
     2.5  <!-- Title:      Pure/pgip_isar.xml
     2.6 -     ID:         $Id$
     2.7       Author:     David Aspinall, University of Edinburgh
     2.8 -		 Christoph Lüth, University of Bremen
     2.9 +     Author:     Christoph Lüth, University of Bremen
    2.10  
    2.11  This file contains the configuration messages which configure 
    2.12  PGIP interfaces for Isabelle/Isar, in particular, explaining
     3.1 --- a/lib/ProofGeneral/pgml.rnc	Sat Nov 14 18:16:13 2009 +0100
     3.2 +++ b/lib/ProofGeneral/pgml.rnc	Sat Nov 14 18:36:05 2009 +0100
     3.3 @@ -3,7 +3,6 @@
     3.4  # 
     3.5  # Authors:  David Aspinall, LFCS, University of Edinburgh       
     3.6  #           Christoph Lueth, University of Bremen       
     3.7 -# Version: $Id$    
     3.8  # 
     3.9  # Status:  Complete, prototype.
    3.10  # 
     4.1 --- a/lib/browser/GraphBrowser/AWTFontMetrics.java	Sat Nov 14 18:16:13 2009 +0100
     4.2 +++ b/lib/browser/GraphBrowser/AWTFontMetrics.java	Sat Nov 14 18:36:05 2009 +0100
     4.3 @@ -1,8 +1,6 @@
     4.4  /***************************************************************************
     4.5    Title:      GraphBrowser/AWTFontMetrics.java
     4.6 -  ID:         $Id$
     4.7    Author:     Gerwin Klein, TU Muenchen
     4.8 -  Copyright   2003  TU Muenchen
     4.9  
    4.10    AbstractFontMetrics from the AWT for graphics mode.
    4.11    
     5.1 --- a/lib/browser/GraphBrowser/AbstractFontMetrics.java	Sat Nov 14 18:16:13 2009 +0100
     5.2 +++ b/lib/browser/GraphBrowser/AbstractFontMetrics.java	Sat Nov 14 18:36:05 2009 +0100
     5.3 @@ -1,8 +1,6 @@
     5.4  /***************************************************************************
     5.5    Title:      GraphBrowser/AWTFontMetrics.java
     5.6 -  ID:         $Id$
     5.7    Author:     Gerwin Klein, TU Muenchen
     5.8 -  Copyright   2003  TU Muenchen
     5.9  
    5.10    AbstractFontMetrics avoids dependency on java.awt.FontMetrics in 
    5.11    batch mode.
     6.1 --- a/lib/browser/GraphBrowser/Box.java	Sat Nov 14 18:16:13 2009 +0100
     6.2 +++ b/lib/browser/GraphBrowser/Box.java	Sat Nov 14 18:36:05 2009 +0100
     6.3 @@ -1,8 +1,6 @@
     6.4  /***************************************************************************
     6.5    Title:      GraphBrowser/Box.java
     6.6 -  ID:         $Id$
     6.7    Author:     Gerwin Klein, TU Muenchen
     6.8 -  Copyright   2003  TU Muenchen
     6.9  
    6.10    A box with width and height. Used instead of java.awt.Dimension for 
    6.11    batch mode.
     7.1 --- a/lib/browser/GraphBrowser/Console.java	Sat Nov 14 18:16:13 2009 +0100
     7.2 +++ b/lib/browser/GraphBrowser/Console.java	Sat Nov 14 18:36:05 2009 +0100
     7.3 @@ -1,6 +1,5 @@
     7.4  /***************************************************************************
     7.5    Title:      GraphBrowser/Console.java
     7.6 -  ID:         $Id$
     7.7    Author:     Gerwin Klein, TU Muenchen
     7.8  
     7.9    This is the graph browser's main class when run as a console application.
     8.1 --- a/lib/browser/GraphBrowser/DefaultFontMetrics.java	Sat Nov 14 18:16:13 2009 +0100
     8.2 +++ b/lib/browser/GraphBrowser/DefaultFontMetrics.java	Sat Nov 14 18:36:05 2009 +0100
     8.3 @@ -1,6 +1,5 @@
     8.4  /***************************************************************************
     8.5    Title:      GraphBrowser/DefaultFontMetrics.java
     8.6 -  ID:         $Id$
     8.7    Author:     Stefan Berghofer, TU Muenchen
     8.8  
     8.9    Default font metrics which is used when no graphics context
     9.1 --- a/lib/browser/GraphBrowser/DummyVertex.java	Sat Nov 14 18:16:13 2009 +0100
     9.2 +++ b/lib/browser/GraphBrowser/DummyVertex.java	Sat Nov 14 18:36:05 2009 +0100
     9.3 @@ -1,8 +1,6 @@
     9.4  /***************************************************************************
     9.5    Title:      GraphBrowser/DummyVertex.java
     9.6 -  ID:         $Id$
     9.7    Author:     Stefan Berghofer, TU Muenchen
     9.8 -  Copyright   1997  TU Muenchen
     9.9  
    9.10    This class represents a dummy vertex, which is used to simplify the
    9.11    layout algorithm.
    10.1 --- a/lib/browser/GraphBrowser/Graph.java	Sat Nov 14 18:16:13 2009 +0100
    10.2 +++ b/lib/browser/GraphBrowser/Graph.java	Sat Nov 14 18:36:05 2009 +0100
    10.3 @@ -1,8 +1,6 @@
    10.4  /***************************************************************************
    10.5    Title:      GraphBrowser/Graph.java
    10.6 -  ID:         $Id$
    10.7    Author:     Stefan Berghofer, TU Muenchen
    10.8 -  Copyright   1997  TU Muenchen
    10.9  
   10.10    This class contains the core of the layout algorithm and methods for
   10.11    drawing and PostScript output.
    11.1 --- a/lib/browser/GraphBrowser/GraphBrowser.java	Sat Nov 14 18:16:13 2009 +0100
    11.2 +++ b/lib/browser/GraphBrowser/GraphBrowser.java	Sat Nov 14 18:36:05 2009 +0100
    11.3 @@ -1,6 +1,5 @@
    11.4  /***************************************************************************
    11.5    Title:      GraphBrowser/GraphBrowser.java
    11.6 -  ID:         $Id$
    11.7    Author:     Stefan Berghofer, TU Muenchen
    11.8  
    11.9    This is the graph browser's main class. It contains the "main(...)"
    12.1 --- a/lib/browser/GraphBrowser/GraphBrowserFrame.java	Sat Nov 14 18:16:13 2009 +0100
    12.2 +++ b/lib/browser/GraphBrowser/GraphBrowserFrame.java	Sat Nov 14 18:36:05 2009 +0100
    12.3 @@ -1,6 +1,5 @@
    12.4  /***************************************************************************
    12.5    Title:      GraphBrowser/GraphBrowserFrame.java
    12.6 -  ID:         $Id$
    12.7    Author:     Stefan Berghofer, TU Muenchen
    12.8  
    12.9    This class is the frame for the stand-alone application. It contains
    13.1 --- a/lib/browser/GraphBrowser/GraphView.java	Sat Nov 14 18:16:13 2009 +0100
    13.2 +++ b/lib/browser/GraphBrowser/GraphView.java	Sat Nov 14 18:36:05 2009 +0100
    13.3 @@ -1,6 +1,5 @@
    13.4  /***************************************************************************
    13.5    Title:      GraphBrowser/GraphView.java
    13.6 -  ID:         $Id$
    13.7    Author:     Stefan Berghofer, TU Muenchen
    13.8  
    13.9    This class defines the window in which the graph is displayed. It
    14.1 --- a/lib/browser/GraphBrowser/NormalVertex.java	Sat Nov 14 18:16:13 2009 +0100
    14.2 +++ b/lib/browser/GraphBrowser/NormalVertex.java	Sat Nov 14 18:36:05 2009 +0100
    14.3 @@ -1,6 +1,5 @@
    14.4  /***************************************************************************
    14.5    Title:      GraphBrowser/NormalVertex.java
    14.6 -  ID:         $Id$
    14.7    Author:     Stefan Berghofer, TU Muenchen
    14.8  
    14.9    This class represents an ordinary vertex. It contains methods for
    15.1 --- a/lib/browser/GraphBrowser/Region.java	Sat Nov 14 18:16:13 2009 +0100
    15.2 +++ b/lib/browser/GraphBrowser/Region.java	Sat Nov 14 18:36:05 2009 +0100
    15.3 @@ -1,8 +1,6 @@
    15.4  /***************************************************************************
    15.5    Title:      GraphBrowser/Region.java
    15.6 -  ID:         $Id$
    15.7    Author:     Stefan Berghofer, TU Muenchen
    15.8 -  Copyright   1997  TU Muenchen
    15.9  
   15.10    This is an auxiliary class which is used by the layout algorithm when
   15.11    calculating coordinates with the "pendulum method". A "region" is a
    16.1 --- a/lib/browser/GraphBrowser/Spline.java	Sat Nov 14 18:16:13 2009 +0100
    16.2 +++ b/lib/browser/GraphBrowser/Spline.java	Sat Nov 14 18:36:05 2009 +0100
    16.3 @@ -1,8 +1,6 @@
    16.4  /***************************************************************************
    16.5    Title:      GraphBrowser/Spline.java
    16.6 -  ID:         $Id$
    16.7    Author:     Stefan Berghofer, TU Muenchen
    16.8 -  Copyright   1997  TU Muenchen
    16.9  
   16.10    This class is used for drawing spline curves (which are not yet
   16.11    supported by the Java AWT).
    17.1 --- a/lib/browser/GraphBrowser/TreeBrowser.java	Sat Nov 14 18:16:13 2009 +0100
    17.2 +++ b/lib/browser/GraphBrowser/TreeBrowser.java	Sat Nov 14 18:36:05 2009 +0100
    17.3 @@ -1,6 +1,5 @@
    17.4  /***************************************************************************
    17.5    Title:      GraphBrowser/TreeBrowser.java
    17.6 -  ID:         $Id$
    17.7    Author:     Stefan Berghofer, TU Muenchen
    17.8  
    17.9    This class defines the browser window which is used to display directory
    18.1 --- a/lib/browser/GraphBrowser/TreeNode.java	Sat Nov 14 18:16:13 2009 +0100
    18.2 +++ b/lib/browser/GraphBrowser/TreeNode.java	Sat Nov 14 18:36:05 2009 +0100
    18.3 @@ -1,6 +1,5 @@
    18.4  /***************************************************************************
    18.5    Title:      GraphBrowser/TreeNode.java
    18.6 -  ID:         $Id$
    18.7    Author:     Stefan Berghofer, TU Muenchen
    18.8  
    18.9    This class contains methods for storing and manipulating directory
    19.1 --- a/lib/browser/GraphBrowser/Vertex.java	Sat Nov 14 18:16:13 2009 +0100
    19.2 +++ b/lib/browser/GraphBrowser/Vertex.java	Sat Nov 14 18:36:05 2009 +0100
    19.3 @@ -1,6 +1,5 @@
    19.4  /***************************************************************************
    19.5    Title:      GraphBrowser/Vertex.java
    19.6 -  ID:         $Id$
    19.7    Author:     Stefan Berghofer, TU Muenchen
    19.8  
    19.9    This class contains attributes and methods common to all kinds of
    20.1 --- a/lib/browser/Makefile	Sat Nov 14 18:16:13 2009 +0100
    20.2 +++ b/lib/browser/Makefile	Sat Nov 14 18:36:05 2009 +0100
    20.3 @@ -1,4 +1,3 @@
    20.4 -# $Id$
    20.5  
    20.6  DST=classes
    20.7  
    21.1 --- a/lib/browser/awtUtilities/Border.java	Sat Nov 14 18:16:13 2009 +0100
    21.2 +++ b/lib/browser/awtUtilities/Border.java	Sat Nov 14 18:36:05 2009 +0100
    21.3 @@ -1,8 +1,6 @@
    21.4  /***************************************************************************
    21.5    Title:      awtUtilities/Border.java
    21.6 -  ID:         $Id$
    21.7    Author:     Stefan Berghofer, TU Muenchen
    21.8 -  Copyright   1997  TU Muenchen
    21.9  
   21.10    This class defines a nice 3D border.
   21.11  ***************************************************************************/
    22.1 --- a/lib/browser/awtUtilities/MessageDialog.java	Sat Nov 14 18:16:13 2009 +0100
    22.2 +++ b/lib/browser/awtUtilities/MessageDialog.java	Sat Nov 14 18:36:05 2009 +0100
    22.3 @@ -1,8 +1,6 @@
    22.4  /***************************************************************************
    22.5    Title:      awtUtilities/MessageDialog.java
    22.6 -  ID:         $Id$
    22.7    Author:     Stefan Berghofer, TU Muenchen
    22.8 -  Copyright   1997  TU Muenchen
    22.9  
   22.10    This class defines a dialog window for displaying messages and buttons.
   22.11  ***************************************************************************/
    23.1 --- a/lib/browser/awtUtilities/TextFrame.java	Sat Nov 14 18:16:13 2009 +0100
    23.2 +++ b/lib/browser/awtUtilities/TextFrame.java	Sat Nov 14 18:36:05 2009 +0100
    23.3 @@ -1,8 +1,6 @@
    23.4  /***************************************************************************
    23.5    Title:      Graph/TextFrame.java
    23.6 -  ID:         $Id$
    23.7    Author:     Stefan Berghofer, TU Muenchen
    23.8 -  Copyright   1997  TU Muenchen
    23.9  
   23.10    This class defines a simple text viewer.
   23.11  ***************************************************************************/
    24.1 --- a/lib/html/library_index_header.template	Sat Nov 14 18:16:13 2009 +0100
    24.2 +++ b/lib/html/library_index_header.template	Sat Nov 14 18:36:05 2009 +0100
    24.3 @@ -1,7 +1,6 @@
    24.4  <?xml version="1.0" encoding="iso-8859-1"?>
    24.5  <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    24.6      "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
    24.7 -<!-- $Id$ -->
    24.8  
    24.9  <html xmlns="http://www.w3.org/1999/xhtml">
   24.10  <head>
    25.1 --- a/lib/logo/index.html	Sat Nov 14 18:16:13 2009 +0100
    25.2 +++ b/lib/logo/index.html	Sat Nov 14 18:36:05 2009 +0100
    25.3 @@ -1,7 +1,5 @@
    25.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    25.5  
    25.6 -<!-- $Id$ -->
    25.7 -
    25.8  <html>
    25.9  
   25.10  <head>