| changeset 28504 | 7ad7d7d6df47 |
| parent 28500 | 4b79e5d3d0aa |
| child 28650 | a7ba12e0d3b7 |
--- a/lib/Tools/mkdir Sat Oct 04 16:19:49 2008 +0200 +++ b/lib/Tools/mkdir Sat Oct 04 17:40:56 2008 +0200 @@ -281,7 +281,7 @@ Notes: - * 'isatool make' processes the session (including document preparation) + * 'isabelle make' processes the session (including document preparation) * $DIR/IsaMakefile contains compilation options and file dependencies