Thu, 10 Nov 2016 10:41:41 +0100 | wenzelm | proper cleanup; | changeset | files |
Thu, 10 Nov 2016 10:35:34 +0100 | wenzelm | uniform order for options and args; | changeset | files |
Thu, 10 Nov 2016 10:20:11 +0100 | wenzelm | more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke(); | changeset | files |
Thu, 10 Nov 2016 09:43:15 +0100 | wenzelm | tuned comment; | changeset | files |
Wed, 09 Nov 2016 22:23:36 +0100 | wenzelm | proper option for "build", not "build_history" (cf. 5ca4ac099e94); | changeset | files |
Mon, 07 Nov 2016 21:52:41 +0100 | wenzelm | tuned; | changeset | files |
Mon, 07 Nov 2016 21:40:43 +0100 | wenzelm | simplified main proof; | changeset | files |