Wed, 28 Jul 2010 00:53:24 +0200 | blanchet | improve detection of installed SPASS | changeset | files |
Wed, 28 Jul 2010 11:42:48 +0200 | wenzelm | merged | changeset | files |
Tue, 27 Jul 2010 20:16:14 +0200 | blanchet | merge | changeset | files |
Tue, 27 Jul 2010 20:16:03 +0200 | blanchet | compile | changeset | files |
Tue, 27 Jul 2010 19:41:19 +0200 | blanchet | minor refactoring | changeset | files |
Tue, 27 Jul 2010 19:17:15 +0200 | blanchet | standardize "Author" tags | changeset | files |
Tue, 27 Jul 2010 18:50:22 +0200 | blanchet | remove unused fun | changeset | files |