Tue, 10 Sep 2013 16:09:33 +0200 | wenzelm | discontinued obsolete command-line tool "isabelle build_dialog"; | changeset | files |
Wed, 11 Sep 2013 10:57:09 +0200 | blanchet | updated docs | changeset | files |
Wed, 11 Sep 2013 09:51:30 +0200 | blanchet | speed up often-called function | changeset | files |