--- a/lib/Tools/update_semicolons Sun Feb 28 15:12:24 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,35 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# DESCRIPTION: remove obsolete semicolons from theory sources
-
-
-## diagnostics
-
-PRG="$(basename "$0")"
-
-function usage()
-{
- echo
- echo "Usage: isabelle $PRG [FILES|DIRS...]"
- echo
- echo " Recursively find .thy files and remove obsolete semicolons."
- echo
- echo " Old versions of files are preserved by appending \"~~\"."
- echo
- exit 1
-}
-
-
-## process command line
-
-[ "$#" -eq 0 -o "$1" = "-?" ] && usage
-
-SPECS="$@"; shift "$#"
-
-
-## main
-
-find $SPECS -name \*.thy -print0 | \
- xargs -0 "$ISABELLE_TOOL" java isabelle.Update_Semicolons
--- a/src/Pure/Tools/update_semicolons.scala Sun Feb 28 15:12:24 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,34 +0,0 @@
-/* Title: Pure/Tools/update_semicolons.scala
- Author: Makarius
-
-Remove obsolete semicolons from theory sources.
-*/
-
-package isabelle
-
-
-object Update_Semicolons
-{
- def update_semicolons(path: Path)
- {
- val text0 = File.read(path)
- val text1 =
- (for (tok <- Token.explode(Keyword.Keywords.empty, text0).iterator if tok.source != ";")
- yield tok.source).mkString
-
- if (text0 != text1) {
- Output.writeln("changing " + path)
- File.write_backup2(path, text1)
- }
- }
-
-
- /* command line entry point */
-
- def main(args: Array[String])
- {
- Command_Line.tool0 {
- args.foreach(arg => update_semicolons(Path.explode(arg)))
- }
- }
-}
--- a/src/Pure/build-jars Sun Feb 28 15:12:24 2016 +0100
+++ b/src/Pure/build-jars Sun Feb 28 15:19:30 2016 +0100
@@ -108,7 +108,6 @@
Tools/task_statistics.scala
Tools/update_cartouches.scala
Tools/update_header.scala
- Tools/update_semicolons.scala
Tools/update_then.scala
Tools/update_theorems.scala
library.scala