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.
removed Ids;
authorwenzelm
Sat, 20 Dec 2008 11:39:27 +0100
changeset 29143 72c960b2b83e
parent 29140 e7ac5bb20aed
child 29144 ca186ebbd824
removed Ids;
lib/Tools/browser file | annotate | diff | comparison | revisions
lib/Tools/codegen file | annotate | diff | comparison | revisions
lib/Tools/dimacs2hol file | annotate | diff | comparison | revisions
lib/Tools/display file | annotate | diff | comparison | revisions
lib/Tools/doc file | annotate | diff | comparison | revisions
lib/Tools/document file | annotate | diff | comparison | revisions
lib/Tools/emacs file | annotate | diff | comparison | revisions
lib/Tools/env file | annotate | diff | comparison | revisions
lib/Tools/findlogics file | annotate | diff | comparison | revisions
lib/Tools/getenv file | annotate | diff | comparison | revisions
lib/Tools/install file | annotate | diff | comparison | revisions
lib/Tools/java file | annotate | diff | comparison | revisions
lib/Tools/jedit file | annotate | diff | comparison | revisions
lib/Tools/keywords file | annotate | diff | comparison | revisions
lib/Tools/latex file | annotate | diff | comparison | revisions
lib/Tools/logo file | annotate | diff | comparison | revisions
lib/Tools/make file | annotate | diff | comparison | revisions
lib/Tools/makeall file | annotate | diff | comparison | revisions
lib/Tools/mkdir file | annotate | diff | comparison | revisions
lib/Tools/mkfifo file | annotate | diff | comparison | revisions
lib/Tools/mkproject file | annotate | diff | comparison | revisions
lib/Tools/print file | annotate | diff | comparison | revisions
lib/Tools/rmfifo file | annotate | diff | comparison | revisions
lib/Tools/scala file | annotate | diff | comparison | revisions
lib/Tools/tty file | annotate | diff | comparison | revisions
lib/Tools/unsymbolize file | annotate | diff | comparison | revisions
lib/Tools/usedir file | annotate | diff | comparison | revisions
lib/Tools/version file | annotate | diff | comparison | revisions
lib/Tools/yxml file | annotate | diff | comparison | revisions 
--- a/lib/Tools/browser	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/browser	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: Isabelle graph browser
--- a/lib/Tools/codegen	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/codegen	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Florian Haftmann, TUM
 #
 # DESCRIPTION: issue code generation from shell
--- a/lib/Tools/dimacs2hol	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/dimacs2hol	Sat Dec 20 11:39:27 2008 +0100
@@ -1,8 +1,6 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Tjark Weber
-# Copyright 2004
 #
 # DESCRIPTION: convert DIMACS CNF files into Isabelle/HOL theories
 
--- a/lib/Tools/display	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/display	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: display document (in DVI or PDF format)
--- a/lib/Tools/doc	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/doc	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: view Isabelle documentation
--- a/lib/Tools/document	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/document	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: prepare theory session document
--- a/lib/Tools/emacs	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/emacs	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: Proof General / Emacs interface wrapper
--- a/lib/Tools/env	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/env	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: run a program in a modified environment
--- a/lib/Tools/findlogics	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/findlogics	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: collect heap names from ISABELLE_PATH
--- a/lib/Tools/getenv	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/getenv	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: get values from Isabelle settings environment
--- a/lib/Tools/install	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/install	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: install standalone Isabelle executables
--- a/lib/Tools/java	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/java	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: invoke Java within the Isabelle environment
--- a/lib/Tools/jedit	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/jedit	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: Isabelle/jEdit interface wrapper
--- a/lib/Tools/keywords	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/keywords	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: generate outer syntax keyword files from session logs
--- a/lib/Tools/latex	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/latex	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: run LaTeX (and related tools)
--- a/lib/Tools/logo	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/logo	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: create an instance of the Isabelle logo
--- a/lib/Tools/make	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/make	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: Isabelle make utility
--- a/lib/Tools/makeall	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/makeall	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: apply make utility to all logics
--- a/lib/Tools/mkdir	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/mkdir	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: prepare logic session directory
--- a/lib/Tools/mkfifo	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/mkfifo	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: create named pipe
--- a/lib/Tools/mkproject	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/mkproject	Sat Dec 20 11:39:27 2008 +0100
@@ -1,7 +1,6 @@
 #!/usr/bin/env bash
 #
-# $Id$
-# Author: David Aspinall and Makarius Wenzel
+# Author: David Aspinall
 #
 # DESCRIPTION: prepare a session directory for PG-Eclipse
 
--- a/lib/Tools/print	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/print	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: print document
--- a/lib/Tools/rmfifo	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/rmfifo	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: remove named pipe
--- a/lib/Tools/scala	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/scala	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: invoke Scala within the Isabelle environment
--- a/lib/Tools/tty	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/tty	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: run Isabelle process with plain tty interaction
--- a/lib/Tools/unsymbolize	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/unsymbolize	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: remove unreadable symbol names from sources
--- a/lib/Tools/usedir	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/usedir	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # DESCRIPTION: build object-logic or run examples
--- a/lib/Tools/version	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/version	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Stefan Berghofer, TU Muenchen
 #
 # DESCRIPTION: display Isabelle version
--- a/lib/Tools/yxml	Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/yxml	Sat Dec 20 11:39:27 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: simple XML to YXML converter
isabelle