| Fri, 25 Jan 2008 23:05:24 +0100 | wenzelm | tuned document; | changeset | files |
| Fri, 25 Jan 2008 23:05:23 +0100 | wenzelm | tuned document; | changeset | files |
| Fri, 25 Jan 2008 22:04:46 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 25 Jan 2008 22:03:29 +0100 | wenzelm | * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here; | changeset | files |
| Fri, 25 Jan 2008 14:54:49 +0100 | haftmann | tuned | changeset | files |
| Fri, 25 Jan 2008 14:54:48 +0100 | haftmann | print postprocessor equations | changeset | files |
| Fri, 25 Jan 2008 14:54:46 +0100 | haftmann | fixed and tuned | changeset | files |