diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:23:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:23:23 +0000 |
| commit | 290fe12b7039f078808ce13e44ab4a24646acb2e (patch) | |
| tree | bdb561bce2477a86ad1a023dfc32415c9b6ce2a0 /isar/isar.el | |
| parent | b581ed2eec722cc763f5c2fa5c8bb536532a4796 (diff) | |
require proof-site also at startup
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions