| Tue, 17 May 2005 18:10:42 +0200 | wenzelm | re-init ml_prompts after loop termination; | changeset | files |
| Tue, 17 May 2005 18:10:41 +0200 | wenzelm | renamed show_var_qmarks to show_question_marks; | changeset | files |
| Tue, 17 May 2005 18:10:40 +0200 | wenzelm | Syntax.read_variable; | changeset | files |
| Tue, 17 May 2005 18:10:39 +0200 | wenzelm | renamed show_var_qmarks to show_question_marks; | changeset | files |
| Tue, 17 May 2005 18:10:38 +0200 | wenzelm | renamed show_var_qmarks to show_question_marks; | changeset | files |
| Tue, 17 May 2005 18:10:37 +0200 | wenzelm | updated; | changeset | files |
| Tue, 17 May 2005 18:10:36 +0200 | wenzelm | renamed show_var_qmarks to show_question_marks; | changeset | files |
| Tue, 17 May 2005 18:10:35 +0200 | wenzelm | removed ISAMODE settings; | changeset | files |
| Tue, 17 May 2005 18:10:34 +0200 | wenzelm | no longer support isa-FOO interface; | changeset | files |
| Tue, 17 May 2005 18:10:33 +0200 | wenzelm | no longer support isa-FOO interface; | changeset | files |
| Tue, 17 May 2005 18:10:31 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 17 May 2005 18:10:31 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 17 May 2005 17:01:35 +0200 | paulson | added comment | changeset | files |
| Tue, 17 May 2005 17:01:19 +0200 | paulson | streamlined proof using new subst method | changeset | files |
| Tue, 17 May 2005 10:19:46 +0200 | wenzelm | moved credit to CONTRIBUTORS; | changeset | files |