Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | renamed "sum_setl" to "setl" and similarly for r | changeset | files |
Thu, 20 Sep 2012 02:42:48 +0200 | blanchet | tuned ID/DEADID setup | changeset | files |
Wed, 19 Sep 2012 21:07:09 +0200 | wenzelm | JavaFX is inactive by default; | changeset | files |
Wed, 19 Sep 2012 21:06:35 +0200 | wenzelm | reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc); | changeset | files |
Wed, 19 Sep 2012 18:01:48 +0200 | wenzelm | universal component exec_process -- avoids special Admin/components/windows and might actually improve stability of forked processes (without using perl); | changeset | files |
Wed, 19 Sep 2012 17:27:37 +0200 | wenzelm | more direct GUI component; | changeset | files |