Fri, 07 Sep 2018 19:11:16 +0200 tuned signature;
wenzelm [Fri, 07 Sep 2018 19:11:16 +0200] rev 68927
tuned signature;
Fri, 07 Sep 2018 17:08:47 +0200 dump aspects asynchronously;
wenzelm [Fri, 07 Sep 2018 17:08:47 +0200] rev 68926
dump aspects asynchronously;
Fri, 07 Sep 2018 17:05:02 +0200 record status of already committed nodes;
wenzelm [Fri, 07 Sep 2018 17:05:02 +0200] rev 68925
record status of already committed nodes; tuned signature;
Fri, 07 Sep 2018 17:03:58 +0200 tuned;
wenzelm [Fri, 07 Sep 2018 17:03:58 +0200] rev 68924
tuned;
Fri, 07 Sep 2018 14:07:34 +0200 tuned signature;
wenzelm [Fri, 07 Sep 2018 14:07:34 +0200] rev 68923
tuned signature;
Fri, 07 Sep 2018 13:58:43 +0200 tuned;
wenzelm [Fri, 07 Sep 2018 13:58:43 +0200] rev 68922
tuned;
Fri, 07 Sep 2018 13:27:41 +0200 added Let_def
nipkow [Fri, 07 Sep 2018 13:27:41 +0200] rev 68921
added Let_def
Thu, 06 Sep 2018 16:50:16 +0200 merged
nipkow [Thu, 06 Sep 2018 16:50:16 +0200] rev 68920
merged
Thu, 06 Sep 2018 16:50:00 +0200 added int and real
nipkow [Thu, 06 Sep 2018 16:50:00 +0200] rev 68919
added int and real
Thu, 06 Sep 2018 14:08:35 +0200 simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
wenzelm [Thu, 06 Sep 2018 14:08:35 +0200] rev 68918
simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip