Wed, 05 Sep 2012 20:19:37 +0200 | wenzelm | tuned proofs; | changeset | files |
Wed, 05 Sep 2012 19:51:00 +0200 | wenzelm | discontinued obsolete fork_mono to loosen some brakes -- NB: TTY interaction has Goal.future_proofs disabled due to missing Future.worker_task; | changeset | files |
Wed, 05 Sep 2012 19:58:09 +0200 | blanchet | honor mixfix specifications | changeset | files |