| Mon, 25 Oct 1999 20:38:03 +0200 |
wenzelm |
improved handling of warn_extra_tfrees;
|
changeset |
files
|
| Mon, 25 Oct 1999 19:24:43 +0200 |
wenzelm |
update by Gertrud Bauer;
|
changeset |
files
|
| Mon, 25 Oct 1999 19:24:31 +0200 |
wenzelm |
added Real/HahnBanach/document/root.bib;
|
changeset |
files
|
| Fri, 22 Oct 1999 21:50:12 +0200 |
wenzelm |
warn_extra_tfrees (after declare_term);
|
changeset |
files
|
| Fri, 22 Oct 1999 21:49:33 +0200 |
wenzelm |
warn_extra_tfrees;
|
changeset |
files
|
| Fri, 22 Oct 1999 21:48:50 +0200 |
wenzelm |
warn_extra_tfrees;
|
changeset |
files
|
| Fri, 22 Oct 1999 20:25:19 +0200 |
wenzelm |
tuned repeat_undo;
|
changeset |
files
|
| Fri, 22 Oct 1999 20:25:00 +0200 |
wenzelm |
debug_simp;
|
changeset |
files
|
| Fri, 22 Oct 1999 20:24:13 +0200 |
wenzelm |
new flag debug_simp
|
changeset |
files
|
| Fri, 22 Oct 1999 20:24:08 +0200 |
wenzelm |
tuned simplifier trace output; new flag debug_simp
|
changeset |
files
|
| Fri, 22 Oct 1999 20:23:40 +0200 |
wenzelm |
achieve proper italic correction;
|
changeset |
files
|
| Fri, 22 Oct 1999 20:14:31 +0200 |
wenzelm |
HahnBanach update by Gertrud Bauer;
|
changeset |
files
|
| Fri, 22 Oct 1999 18:41:00 +0200 |
paulson |
replaced image_image_eq_UN by image_eq_UN
|
changeset |
files
|
| Fri, 22 Oct 1999 18:35:20 +0200 |
paulson |
ALMOST working version: LocalTo results commented out
|
changeset |
files
|
| Fri, 22 Oct 1999 18:33:39 +0200 |
paulson |
new default simprules for UN and INT
|
changeset |
files
|