wenzelm [Sun, 01 Jan 2017 20:24:19 +0100] rev 64735
tuned;
wenzelm [Sun, 01 Jan 2017 13:38:20 +0100] rev 64734
more configuration;
wenzelm [Sun, 01 Jan 2017 13:15:50 +0100] rev 64733
automatically build session image;
wenzelm [Sun, 01 Jan 2017 12:20:51 +0100] rev 64732
tuned signature;
wenzelm [Sun, 01 Jan 2017 12:10:21 +0100] rev 64731
just one synchronized access to global state: works recursively on JVM;
tuned;
wenzelm [Sun, 01 Jan 2017 11:47:27 +0100] rev 64730
clarified modules;
wenzelm [Sun, 01 Jan 2017 11:38:29 +0100] rev 64729
clarified file URI operations;
wenzelm [Sat, 31 Dec 2016 21:00:43 +0100] rev 64728
more precise markup;
tuned signature;
wenzelm [Sat, 31 Dec 2016 20:26:34 +0100] rev 64727
automatically resolve dependencies from document models and file-system;
wenzelm [Sat, 31 Dec 2016 15:32:54 +0100] rev 64726
clarified;
wenzelm [Sat, 31 Dec 2016 15:31:56 +0100] rev 64725
tuned;
wenzelm [Sat, 31 Dec 2016 15:18:04 +0100] rev 64724
ignore message;
wenzelm [Sat, 31 Dec 2016 14:35:37 +0100] rev 64723
clarified node_visible;
wenzelm [Sat, 31 Dec 2016 14:29:16 +0100] rev 64722
tuned signature;
wenzelm [Sat, 31 Dec 2016 14:27:07 +0100] rev 64721
proper state update;
wenzelm [Sat, 31 Dec 2016 14:20:50 +0100] rev 64720
proper log;
wenzelm [Sat, 31 Dec 2016 11:45:24 +0100] rev 64719
tuned;
wenzelm [Sat, 31 Dec 2016 11:43:06 +0100] rev 64718
tuned signature;
wenzelm [Sat, 31 Dec 2016 11:39:57 +0100] rev 64717
tuned signature;
wenzelm [Sat, 31 Dec 2016 11:15:20 +0100] rev 64716
proper import_name;
haftmann [Sat, 31 Dec 2016 08:12:31 +0100] rev 64715
more elementary rules about div / mod on int
haftmann [Fri, 30 Dec 2016 18:02:27 +0100] rev 64714
complete set of cases rules for integers known to be (non-)positive/negative;
legacy theorem branding
haftmann [Fri, 30 Dec 2016 18:02:27 +0100] rev 64713
more facts on sgn, abs
haftmann [Fri, 30 Dec 2016 18:02:27 +0100] rev 64712
dropped slightly outdated comment