| changeset 2760 | c2a90e8b4831 |
| parent 2692 | 484ec6ca0c50 |
| child 2960 | a6b56d03ed0d |
--- a/src/Pure/IsaMakefile Fri Mar 07 14:49:56 1997 +0100 +++ b/src/Pure/IsaMakefile Fri Mar 07 14:51:50 1997 +0100 @@ -6,11 +6,6 @@ # The Pure part is common to all systems. Object-logics (like FOL) # are loaded on top of it. # -# How to build: -# (1) put the Isabelle bin dir into your PATH (try 'which isabelle') -# (2) make sure Isabelle's etc/settings are appropriate (ML system etc.) -# (3) cd here and run 'isatool make' -# OUT = $(ISABELLE_OUTPUT_DIR)