Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed titles;
authorwenzelm
Wed, 13 Jan 1999 15:18:02 +0100
changeset 6118 caa439435666
parent 6117 f9aad8ccd590
child 6119 7e3eb9b4df8e
fixed titles;
src/Pure/General/file.ML file | annotate | diff | comparison | revisions
src/Pure/General/name_space.ML file | annotate | diff | comparison | revisions
src/Pure/General/object.ML file | annotate | diff | comparison | revisions
src/Pure/General/path.ML file | annotate | diff | comparison | revisions
src/Pure/General/position.ML file | annotate | diff | comparison | revisions
src/Pure/General/pretty.ML file | annotate | diff | comparison | revisions
src/Pure/General/scan.ML file | annotate | diff | comparison | revisions
src/Pure/General/seq.ML file | annotate | diff | comparison | revisions
src/Pure/General/source.ML file | annotate | diff | comparison | revisions
src/Pure/General/symbol.ML file | annotate | diff | comparison | revisions
src/Pure/General/table.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/file.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/file.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Thy/file.ML
+(*  Title:      Pure/General/file.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/name_space.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/name_space.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/name_space.ML
+(*  Title:      Pure/General/name_space.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/object.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/object.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/object.ML
+(*  Title:      Pure/General/object.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/path.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/path.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Thy/path.ML
+(*  Title:      Pure/General/path.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/position.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/position.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Thy/position.ML
+(*  Title:      Pure/General/position.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/pretty.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/pretty.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Syntax/pretty.ML
+(*  Title:      Pure/General/pretty.ML
     ID:         $Id$
     Author:     Lawrence C Paulson
     Copyright   1991  University of Cambridge
--- a/src/Pure/General/scan.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/scan.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:	Pure/Syntax/scan.ML
+(*  Title:	Pure/General/scan.ML
     ID:		$Id$
     Author:	Markus Wenzel and Tobias Nipkow, TU Muenchen
 
--- a/src/Pure/General/seq.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/seq.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/seq.ML
+(*  Title:      Pure/General/seq.ML
     ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
 
--- a/src/Pure/General/source.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/source.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Syntax/source.ML
+(*  Title:      Pure/General/source.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/symbol.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/symbol.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Syntax/symbol.ML
+(*  Title:      Pure/General/symbol.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
--- a/src/Pure/General/table.ML	Wed Jan 13 15:14:47 1999 +0100
+++ b/src/Pure/General/table.ML	Wed Jan 13 15:18:02 1999 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Pure/table.ML
+(*  Title:      Pure/General/table.ML
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
isabelle