Thu, 08 Oct 2020 17:02:56 +0200 tune filename
desharna [Thu, 08 Oct 2020 17:02:56 +0200] rev 72400
tune filename
Thu, 08 Oct 2020 16:36:00 +0200 drop obsolete ad hoc support for Satallax isar proof reconstruction
desharna [Thu, 08 Oct 2020 16:36:00 +0200] rev 72399
drop obsolete ad hoc support for Satallax isar proof reconstruction
Thu, 08 Oct 2020 16:07:10 +0200 recognize THF proofs properly
desharna [Thu, 08 Oct 2020 16:07:10 +0200] rev 72398
recognize THF proofs properly
Thu, 08 Oct 2020 07:30:02 +0000 factored out bit comprehension
haftmann [Thu, 08 Oct 2020 07:30:02 +0000] rev 72397
factored out bit comprehension
Thu, 08 Oct 2020 10:33:38 +0200 Fix formatting of default value in help message of "build_e" component.
desharna [Thu, 08 Oct 2020 10:33:38 +0200] rev 72396
Fix formatting of default value in help message of "build_e" component.
Wed, 07 Oct 2020 21:33:07 +0200 tuned signature;
wenzelm [Wed, 07 Oct 2020 21:33:07 +0200] rev 72395
tuned signature;
Wed, 07 Oct 2020 21:15:15 +0200 updated user + host;
wenzelm [Wed, 07 Oct 2020 21:15:15 +0200] rev 72394
updated user + host;
Wed, 07 Oct 2020 21:02:04 +0200 updated URL;
wenzelm [Wed, 07 Oct 2020 21:02:04 +0200] rev 72393
updated URL;
Wed, 07 Oct 2020 20:53:27 +0200 clarified multicore options;
wenzelm [Wed, 07 Oct 2020 20:53:27 +0200] rev 72392
clarified multicore options;
Wed, 07 Oct 2020 20:51:04 +0200 discontinued old machines;
wenzelm [Wed, 07 Oct 2020 20:51:04 +0200] rev 72391
discontinued old machines;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip