| Mon, 06 Nov 2000 22:47:41 +0100 | wenzelm | tuned atomize_goal; | changeset | files |
| Mon, 06 Nov 2000 18:28:22 +0100 | paulson | minor modifications for new Springer style | changeset | files |
| Mon, 06 Nov 2000 16:43:01 +0100 | paulson | minor changes | changeset | files |
| Mon, 06 Nov 2000 16:41:39 +0100 | paulson | auto update | changeset | files |
| Mon, 06 Nov 2000 11:32:23 +0100 | nipkow | *** empty log message *** | changeset | files |
| Sat, 04 Nov 2000 18:54:22 +0100 | wenzelm | updated; | changeset | files |
| Sat, 04 Nov 2000 18:44:34 +0100 | wenzelm | tuned method "rule" and "default"; | changeset | files |
| Sat, 04 Nov 2000 18:42:29 +0100 | wenzelm | isamarkup: handle % in input; | changeset | files |
| Sat, 04 Nov 2000 18:41:37 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 04 Nov 2000 18:39:44 +0100 | wenzelm | misc stuff; | changeset | files |
| Fri, 03 Nov 2000 21:35:59 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 03 Nov 2000 21:35:36 +0100 | wenzelm | proper setup of "parallel"; | changeset | files |