diff options
| author | Patrick Loiseleur | 1999-05-03 13:13:45 +0000 |
|---|---|---|
| committer | Patrick Loiseleur | 1999-05-03 13:13:45 +0000 |
| commit | 1635f7f9a038eee185318c38056101a8e88b3631 (patch) | |
| tree | a5819d31aa0521d0fe07b1460188230506f737a6 /isar/Example.thy | |
| parent | 8eb803e38688df1747a086dd3eedb53ebfd80ba5 (diff) | |
proof-home-directory is correct even if $PROOFGENERAL_HOME does not
end with a slash. Moreover, the closure proof-home-directory-fn is
added so that this value is not computed at compilation time.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions