# HG changeset patch
# User wenzelm
# Date 1229769567 -3600
# Node ID 72c960b2b83ed932ccaf30cc87bc260bce78ca28
# Parent  e7ac5bb20aedb4dc5a076c7e972c477bbcf617af
removed Ids;

diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/browser
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/codegen
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/dimacs2hol
--- 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
 
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/display
--- 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)
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/doc
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/document
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/emacs
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/env
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/findlogics
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/getenv
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/install
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/java
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/jedit
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/keywords
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/latex
--- 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)
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/logo
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/make
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/makeall
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/mkdir
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/mkfifo
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/mkproject
--- 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
 
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/print
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/rmfifo
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/scala
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/tty
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/unsymbolize
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/usedir
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/version
--- 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
diff -r e7ac5bb20aed -r 72c960b2b83e lib/Tools/yxml
--- 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