changeset 14584 | 76b81ae4031f |
parent 14583 | efbee41e85c2 |
child 14585 | 6cf696e5ef7f |
14583:efbee41e85c2 | 14584:76b81ae4031f |
---|---|
49 |
49 |
50 $ISABELLE_HOME is the directory "isabelle/Distribution" from above. |
50 $ISABELLE_HOME is the directory "isabelle/Distribution" from above. |
51 $ISABELLE_HOME_USER is the directory "~/isabelle". |
51 $ISABELLE_HOME_USER is the directory "~/isabelle". |
52 |
52 |
53 |
53 |
54 $Id $ |
54 $Id$ |