Fri, 27 Jul 2007 21:55:21 +0200 | wenzelm | chain/using: filter out dummy_thm; | changeset | files |
Fri, 27 Jul 2007 21:55:20 +0200 | wenzelm | method section scanners: added [[declaration]] syntax, ignore sid-effects of thms; | changeset | files |
Fri, 27 Jul 2007 21:55:19 +0200 | wenzelm | renamed Config to ConfigOption; | changeset | files |
Fri, 27 Jul 2007 21:55:18 +0200 | wenzelm | renamed Config to ConfigOption; | changeset | files |