Fri, 27 Jul 2007 21:55:18 +0200 | wenzelm | renamed Config to ConfigOption; | changeset | files |
Fri, 27 Jul 2007 21:55:17 +0200 | wenzelm | renamed config.ML to config_option.ML; | changeset | files |
Fri, 27 Jul 2007 20:11:49 +0200 | wenzelm | Druke.dummy_thm; | changeset | files |