changeset 11001 | 6754fa0f2af7 |
parent 10939 | fe14e54594a3 |
child 14981 | e73f8140af78 |
--- a/lib/Tools/convert Tue Jan 30 18:47:00 2001 +0100 +++ b/lib/Tools/convert Tue Jan 30 18:48:33 2001 +0100 @@ -20,7 +20,8 @@ echo " Isabelle/Isar tactic emulation." echo " Note: conversion is only approximated, based on some heuristics." echo - echo " Renames new versions of FILES by appending \".thy\"." + echo " Renames old versions of FILES by appending \"~0~\"." + echo " Creates new versions of FILES by appending \".thy\"." echo exit 1 }