| Wed, 07 Jun 2000 12:06:36 +0200 | paulson | tidied | changeset | files |
| Tue, 06 Jun 2000 20:32:10 +0200 | wenzelm | pair split: proper names of params; | changeset | files |
| Tue, 06 Jun 2000 20:31:43 +0200 | wenzelm | added rule_params; | changeset | files |
| Tue, 06 Jun 2000 20:31:22 +0200 | wenzelm | session.tex: nsert blank lines in order to guarantee new paragraphs | changeset | files |
| Sun, 04 Jun 2000 21:55:58 +0200 | wenzelm | opt_mixfix', opt_infix'; | changeset | files |
| Sun, 04 Jun 2000 21:54:58 +0200 | wenzelm | do not setmp Library.timing; | changeset | files |
| Sun, 04 Jun 2000 19:39:29 +0200 | wenzelm | removed explicit terminator (";"); | changeset | files |
| Sun, 04 Jun 2000 00:09:04 +0200 | wenzelm | removed method; | changeset | files |