diff options
| author | Makarius Wenzel | 2000-09-17 11:46:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-17 11:46:48 +0000 |
| commit | b944e4466c922c9b2145a4513bc4b03b1ef205f5 (patch) | |
| tree | 26ae05da536c2074a73bda9205dac5d5289cc7ae /FAQ | |
| parent | 63738d9de55c0ba5f62ddcaec1fab5707981d7d9 (diff) | |
removed proof-shell-pre-sync-init-cmd (init now handled by -PI options
in isabelle-command-line);
tuned comments;
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions