Fri, 30 Sep 2005 11:43:42 +0200 | wenzelm | tuned; | changeset | files |
Fri, 30 Sep 2005 10:58:11 +0200 | aspinall | Fix for guiconfig -> displayconfig element rename | changeset | files |
Fri, 30 Sep 2005 09:52:46 +0200 | paulson | theorems need names | changeset | files |