# HG changeset patch
# User wenzelm
# Date 1456669170 -3600
# Node ID 26861a913d6b9e951282abe11e97064d7b539911
# Parent  5b749c31eb97fb4b58d1cab1da4da1a33b296fa8
obsolete;

diff -r 5b749c31eb97 -r 26861a913d6b lib/Tools/update_semicolons
--- 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
diff -r 5b749c31eb97 -r 26861a913d6b src/Pure/Tools/update_semicolons.scala
--- 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)))
-    }
-  }
-}
diff -r 5b749c31eb97 -r 26861a913d6b src/Pure/build-jars
--- 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