diff options
author | Makarius Wenzel <makarius@sketis.net> | 2006-10-11 20:08:10 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2006-10-11 20:08:10 +0000 |
commit | 8225f0e1764068baa36288b30ad3a16c85830c79 (patch) | |
tree | d1ca7be5b12e2b040701ee8687b6820a24a03136 /.cvsignore | |
parent | 99527585d02e4470ba70497973e074bb4a4b6b77 (diff) |
reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;
isar-find-and-forget: no special treatment of undo-kill, allows
"context" command to act as local theory init;
Diffstat (limited to '.cvsignore')
0 files changed, 0 insertions, 0 deletions