diff options
| author | Makarius Wenzel | 2000-06-04 12:38:33 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-04 12:38:33 +0000 |
| commit | d7c3a28384d55f4daf7bb207bc5914225d4917a0 (patch) | |
| tree | 18d60989e05645fbce427b88aa84bcf7944132cb /html | |
| parent | 682a9b0aa3373a4ab65011c1547529404b264827 (diff) | |
replaced isar-verbatim by isabelle-verbatim;
added isar-strip-terminators;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions