diff options
| author | Makarius Wenzel | 2000-05-17 15:37:52 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-05-17 15:37:52 +0000 |
| commit | c9a051eb8258621ead76cb8ad94ef3049b842eab (patch) | |
| tree | 29d3ca6ed70a84178861a423f468e7aa954ee508 /html | |
| parent | be285b13d99b4c3aab73c06a532f739bcc398b0f (diff) | |
added show-consts, long-names;
improved isar-markup-ml;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions