| changeset 28504 | 7ad7d7d6df47 |
| parent 28500 | 4b79e5d3d0aa |
| child 28650 | a7ba12e0d3b7 |
--- a/lib/Tools/makeall Sat Oct 04 16:19:49 2008 +0200 +++ b/lib/Tools/makeall Sat Oct 04 17:40:56 2008 +0200 @@ -19,7 +19,7 @@ echo echo "Usage: $PRG [ARGS ...]" echo - echo " Apply isatool make to all logics (passing ARGS)." + echo " Apply isabelle make to all logics (passing ARGS)." echo exit 1 }