# 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