| Fri, 16 Oct 2015 10:11:20 +0200 | wenzelm | clarified Antiquote.antiq_reports; | file | diff | annotate |
| Fri, 09 Oct 2015 21:16:00 +0200 | wenzelm | more direct HTML presentation, without print mode; | file | diff | annotate |
| Mon, 21 Sep 2015 16:41:20 +0200 | wenzelm | option editor_output_state; | file | diff | annotate |
| Mon, 21 Sep 2015 14:56:55 +0200 | wenzelm | separate panel for proof state output; | file | diff | annotate |
| Mon, 29 Jun 2015 20:55:46 +0200 | wenzelm | improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded); | file | diff | annotate |
| Thu, 16 Apr 2015 15:00:03 +0200 | wenzelm | more explicit bootstrap_thy; | file | diff | annotate |
| Wed, 15 Apr 2015 14:54:25 +0200 | wenzelm | tuned messages; | file | diff | annotate |