| Fri, 01 Sep 2000 00:33:36 +0200 | wenzelm | added bang_sectioned_args'; | changeset | files |
| Fri, 01 Sep 2000 00:33:14 +0200 | wenzelm | 'declare' made proper command; | changeset | files |
| Fri, 01 Sep 2000 00:32:46 +0200 | wenzelm | priority_fn := decorate_lines; | changeset | files |
| Fri, 01 Sep 2000 00:32:11 +0200 | wenzelm | added priority, priority_fn; | changeset | files |
| Fri, 01 Sep 2000 00:31:39 +0200 | wenzelm | added "safe" method; | changeset | files |
| Fri, 01 Sep 2000 00:31:08 +0200 | wenzelm | auto method: opt args; | changeset | files |
| Fri, 01 Sep 2000 00:30:25 +0200 | wenzelm | converted Lambda scripts; | changeset | files |
| Fri, 01 Sep 2000 00:29:12 +0200 | wenzelm | converted; | changeset | files |
| Fri, 01 Sep 2000 00:28:27 +0200 | wenzelm | fixed rulify_prems; | changeset | files |
| Fri, 01 Sep 2000 00:28:06 +0200 | wenzelm | lemmas [mono] = lists_mono; | changeset | files |
| Fri, 01 Sep 2000 00:27:41 +0200 | wenzelm | updated; | changeset | files |
| Thu, 31 Aug 2000 17:59:59 +0200 | wenzelm | fixed make_pp; | changeset | files |
| Thu, 31 Aug 2000 17:25:52 +0200 | wenzelm | improved exit function for polyml-4.0; | changeset | files |
| Thu, 31 Aug 2000 14:11:04 +0200 | kleing | tuned | changeset | files |
| Thu, 31 Aug 2000 09:23:01 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 31 Aug 2000 01:42:23 +0200 | wenzelm | ported HOL/Lambda/ListBeta; | changeset | files |
| Thu, 31 Aug 2000 00:16:32 +0200 | wenzelm | improved handling of messages: do not decorate writeln output; | changeset | files |
| Thu, 31 Aug 2000 00:15:09 +0200 | wenzelm | improved messages; | changeset | files |
| Thu, 31 Aug 2000 00:11:40 +0200 | wenzelm | more polyml choices; | changeset | files |
| Wed, 30 Aug 2000 21:48:01 +0200 | kleing | added some bind_thm | changeset | files |
| Wed, 30 Aug 2000 21:47:39 +0200 | kleing | functional LBV style, dead code, type safety -> Isar | changeset | files |
| Wed, 30 Aug 2000 21:44:12 +0200 | kleing | MicroJava changed (all of BV -> Isar) | changeset | files |
| Wed, 30 Aug 2000 21:40:35 +0200 | kleing | tuned | changeset | files |
| Wed, 30 Aug 2000 18:09:20 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 30 Aug 2000 18:05:20 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 30 Aug 2000 17:55:12 +0200 | wenzelm | renamed antiquotation 'name' to 'text'; | changeset | files |
| Wed, 30 Aug 2000 17:54:46 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 30 Aug 2000 17:54:26 +0200 | wenzelm | added "source" option; | changeset | files |
| Wed, 30 Aug 2000 17:54:05 +0200 | wenzelm | token trans: removed \mbox to achieve proper italic correction; | changeset | files |
| Wed, 30 Aug 2000 17:53:23 +0200 | wenzelm | added string_of; | changeset | files |