changeset 16583 | f2660fa63224 |
parent 16309 | 39c793a9b382 |
child 16592 | e7df213a1918 |
--- a/Admin/website/dist/installation.html Tue Jun 28 12:25:19 2005 +0200 +++ b/Admin/website/dist/installation.html Tue Jun 28 12:25:19 2005 +0200 @@ -29,7 +29,7 @@ </p> <ul> - <li>a suitable Standard ML environment</li> + <li>a suitable ML environment for Standard ML</li> <li>the Isabelle system itself, including the desired object logic(s) (e. g. HOL)</li> <li>the ProofGeneral user interface</li>