--- a/lib/Tools/browser Fri Dec 19 16:16:10 2008 -0800
+++ b/lib/Tools/browser Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/codegen Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/dimacs2hol Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/display Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/doc Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/document Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/emacs Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/env Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/findlogics Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/getenv Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/install Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/java Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/jedit Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/keywords Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/latex Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/logo Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/make Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/makeall Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/mkdir Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/mkfifo Sat Dec 20 11:39:34 2008 +0100
@@ -1,6 +1,5 @@
#!/usr/bin/env bash
#
-# $Id$
# Author: Makarius
#
# DESCRIPTION: create named pipe
--- a/lib/Tools/mkproject Fri Dec 19 16:16:10 2008 -0800
+++ b/lib/Tools/mkproject Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/print Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/rmfifo Sat Dec 20 11:39:34 2008 +0100
@@ -1,6 +1,5 @@
#!/usr/bin/env bash
#
-# $Id$
# Author: Makarius
#
# DESCRIPTION: remove named pipe
--- a/lib/Tools/scala Fri Dec 19 16:16:10 2008 -0800
+++ b/lib/Tools/scala Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/tty Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/unsymbolize Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/usedir Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/version Sat Dec 20 11:39:34 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 16:16:10 2008 -0800
+++ b/lib/Tools/yxml Sat Dec 20 11:39:34 2008 +0100
@@ -1,6 +1,5 @@
#!/usr/bin/env bash
#
-# $Id$
# Author: Makarius
#
# DESCRIPTION: simple XML to YXML converter