Tue, 24 Sep 2013 16:54:50 +0200 | blanchet | updated keywords | changeset | files |
Tue, 24 Sep 2013 16:21:04 +0200 | blanchet | updated certificates | changeset | files |
Tue, 24 Sep 2013 16:21:03 +0200 | blanchet | when "max_thm_instances" is hit, choose more carefully which instances should be kept | changeset | files |