diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2005-09-01 14:18:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2005-09-01 14:18:09 +0000 |
| commit | 2b2dab487ffa46b7ddaf930071a0e6fa70b1bbc9 (patch) | |
| tree | 91cad8eb5b91154d1cce72cb5a4258a9faec0deb /doc/Makefile.doc | |
| parent | 677cd9da3adce2be73e8a6a02b414ffcff54d003 (diff) | |
tuned ML code for manipulating print_mode;
isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp;
Diffstat (limited to 'doc/Makefile.doc')
0 files changed, 0 insertions, 0 deletions