| 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
|
| Thu, 02 Jul 2020 08:49:03 +0000 |
haftmann |
removed superfluous dependency
|
file |
diff |
annotate
|
| Wed, 01 Jul 2020 17:32:11 +0000 |
haftmann |
factored out ancient numeral representation
|
file |
diff |
annotate
|
| Wed, 01 Jul 2020 17:32:11 +0000 |
haftmann |
moved to Word_Lib
|
file |
diff |
annotate
|
| Sun, 21 Jun 2020 11:12:19 +0200 |
wenzelm |
clarified NEWS;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 22:35:24 +0200 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
| Fri, 19 Jun 2020 18:44:36 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 19 Jun 2020 18:29:37 +0200 |
wenzelm |
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
|
file |
diff |
annotate
|
| Fri, 19 Jun 2020 09:46:47 +0000 |
haftmann |
prefer single name
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:30 +0000 |
haftmann |
build bit operations on word on library theory on bit operations
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:30 +0000 |
haftmann |
bit operations as distinctive library theory
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:29 +0000 |
haftmann |
dropped yet another duplicate
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:29 +0000 |
haftmann |
replaced mere alias by input abbreviation
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:29 +0000 |
haftmann |
replaced mere alias by abbreviation
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:29 +0000 |
haftmann |
replaced operation with weak abstraction by input abbreviation
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:29 +0000 |
haftmann |
avoid compound operation
|
file |
diff |
annotate
|
| Thu, 18 Jun 2020 09:07:28 +0000 |
haftmann |
replaced mere alias by input abbreviation
|
file |
diff |
annotate
|
| Wed, 17 Jun 2020 20:42:52 +0200 |
wenzelm |
enable pide_session by default;
|
file |
diff |
annotate
|
| Wed, 10 Jun 2020 19:59:12 +0200 |
wenzelm |
updated to jedit-5.6pre1 (repository version 25349);
|
file |
diff |
annotate
|
| Mon, 08 Jun 2020 21:56:06 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 08 Jun 2020 15:09:57 +0200 |
wenzelm |
clarified sessions: "Notable Examples in Isabelle/Pure";
|
file |
diff |
annotate
|
| Sat, 06 Jun 2020 10:58:13 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Wed, 27 May 2020 16:43:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 16:09:25 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 14:27:22 +0200 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 13:57:13 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 18 May 2020 12:59:01 +0200 |
wenzelm |
follow Phabricator update 2020 Week 19;
|
file |
diff |
annotate
|
| Thu, 14 May 2020 10:26:33 +0100 |
paulson |
The Uniq quantifier for FOL too
|
file |
diff |
annotate
|
| Wed, 13 May 2020 12:55:33 +0200 |
Manuel Eberl |
new constant power_int in HOL
|
file |
diff |
annotate
|
| Mon, 04 May 2020 17:35:29 +0200 |
Manuel Eberl |
New HOL simproc 'datatype_no_proper_subterm'
|
file |
diff |
annotate
|
| Tue, 12 May 2020 16:53:02 +0100 |
paulson |
Fixes for Sup{} = (0::nat)
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 21:47:22 +0200 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| Tue, 21 Apr 2020 07:28:17 +0000 |
haftmann |
hooks for foundational terms: protection of foundational terms during simplification
|
file |
diff |
annotate
|
| Wed, 15 Apr 2020 14:31:21 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 13 Apr 2020 22:08:14 +0200 |
wenzelm |
tuned NEWS;
Isabelle2020
|
file |
diff |
annotate
|
| Sun, 12 Apr 2020 16:59:49 +0200 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Thu, 09 Apr 2020 21:50:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 14:25:28 +0200 |
wenzelm |
another isabelle_scala_service;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 13:14:05 +0200 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 22:13:22 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 21:18:16 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|