Tue, 29 Sep 2020 13:19:34 +0200 |
wenzelm |
allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
|
file |
diff |
annotate
|
Mon, 28 Sep 2020 13:53:50 +0200 |
wenzelm |
clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);
|
file |
diff |
annotate
|
Sun, 27 Sep 2020 17:02:59 +0200 |
wenzelm |
ISABELLE_PDFLATEX is now lualatex;
|
file |
diff |
annotate
|
Sat, 26 Sep 2020 14:29:46 +0200 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
Fri, 25 Sep 2020 15:43:53 +0200 |
wenzelm |
clarified defaults for nitpick;
|
file |
diff |
annotate
|
Fri, 25 Sep 2020 05:26:09 +0000 |
haftmann |
factored out typedef material
|
file |
diff |
annotate
|
Wed, 23 Sep 2020 11:14:38 +0000 |
haftmann |
more thorough treatment of division, particularly signed division on int and word
|
file |
diff |
annotate
|
Thu, 17 Sep 2020 13:55:21 +0200 |
haftmann |
typo
|
file |
diff |
annotate
|
Thu, 17 Sep 2020 12:06:38 +0200 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
Thu, 10 Sep 2020 21:07:58 +0200 |
wenzelm |
more uniform JVM vs. ML status widget;
|
file |
diff |
annotate
|
Tue, 08 Sep 2020 21:14:42 +0200 |
wenzelm |
update to official jedit-5.6.0;
|
file |
diff |
annotate
|
Mon, 31 Aug 2020 22:05:05 +0200 |
wenzelm |
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
|
file |
diff |
annotate
|
Tue, 25 Aug 2020 15:14:46 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Mon, 17 Aug 2020 16:26:58 +0200 |
wenzelm |
allow user-defined server commands via isabelle_scala_service;
|
file |
diff |
annotate
|
Mon, 17 Aug 2020 13:16:42 +0200 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
Thu, 13 Aug 2020 15:52:40 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
Fri, 07 Aug 2020 23:01:28 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
Wed, 05 Aug 2020 19:06:39 +0200 |
haftmann |
separation of reversed bit lists from other material
|
file |
diff |
annotate
|
Tue, 04 Aug 2020 09:33:05 +0000 |
haftmann |
uniform mask operation
|
file |
diff |
annotate
|
Sat, 01 Aug 2020 17:43:30 +0000 |
haftmann |
more consequent transferability
|
file |
diff |
annotate
|
Fri, 24 Jul 2020 16:45:20 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 20 Jul 2020 23:45:29 +0200 |
wenzelm |
subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
|
file |
diff |
annotate
|
Thu, 16 Jul 2020 04:52:25 +0000 |
haftmann |
yet another alias
|
file |
diff |
annotate
|
Mon, 13 Jul 2020 15:23:32 +0000 |
haftmann |
concatentation of bit values
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 06:21:04 +0000 |
haftmann |
signed_take_bit
|
file |
diff |
annotate
|
Thu, 09 Jul 2020 11:39:16 +0200 |
desharna |
Update Metis to 2.4
|
file |
diff |
annotate
|
Mon, 06 Jul 2020 16:52:48 +0200 |
blanchet |
removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
|
file |
diff |
annotate
|
Mon, 06 Jul 2020 10:47:30 +0000 |
haftmann |
separation of traditional bit operations
|
file |
diff |
annotate
|
Thu, 02 Jul 2020 12:10:58 +0000 |
haftmann |
extraction of equations x = t from premises beneath meta-all
|
file |
diff |
annotate
|