diff options
| author | Makarius Wenzel | 2000-09-25 11:00:14 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-25 11:00:14 +0000 |
| commit | ee25387cbb8015ef0669274ea05db2d572c41cdb (patch) | |
| tree | 45a0894839b21296a7f8bae1ae29570726ede4b6 /Makefile.devel | |
| parent | f6469991686dd574b5167c909e01794737d2f7dd (diff) | |
isa-isatool-command: tuned standard places of Isabelle installation;
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions