| 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
|
| Thu, 02 Apr 2020 13:04:24 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 25 Mar 2020 17:38:22 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2020 22:12:21 +0100 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2020 21:41:13 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2020 22:41:49 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2020 13:20:22 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2020 14:23:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2020 23:25:34 +0100 |
wenzelm |
proper escape for literal single quotes;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2020 16:04:27 +0100 |
wenzelm |
allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
|
file |
diff |
annotate
|
| Thu, 12 Mar 2020 23:05:11 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Tue, 10 Mar 2020 14:16:19 +0100 |
Manuel Eberl |
updated NEWS w.r.t. e0237f2eb49d
|
file |
diff |
annotate
|
| Fri, 06 Mar 2020 20:18:21 +0100 |
wenzelm |
support Java/VM monitoring via jconsole;
|
file |
diff |
annotate
|
| Mon, 02 Mar 2020 13:43:52 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2020 21:52:21 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Sat, 29 Feb 2020 17:16:17 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Fri, 28 Feb 2020 22:23:43 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 19:50:04 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 19:26:00 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2020 18:30:08 +0100 |
wenzelm |
update to WebviewPanel API, following initial version by Peter Zeller;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2020 20:07:28 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2020 21:15:03 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2020 17:03:14 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2020 15:39:05 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 23:04:45 +0100 |
wenzelm |
proper symbols;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 22:47:43 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 22:40:00 +0100 |
wenzelm |
recover from Unicode accident in 4abd07cd034f;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 22:32:29 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 22:24:01 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 21:59:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2020 21:12:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 15:05:33 +0100 |
wenzelm |
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 22:30:03 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 19 Dec 2019 17:29:35 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 16 Dec 2019 21:15:12 +0100 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Mon, 16 Dec 2019 19:58:11 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 10 Dec 2019 01:06:39 +0100 |
traytel |
NEWS, CONTRIBUTORS, and documentation
|
file |
diff |
annotate
|
| Mon, 09 Dec 2019 16:13:36 +0000 |
paulson |
Ramsey with multiple colours and arbitrary exponents
|
file |
diff |
annotate
|
| Tue, 26 Nov 2019 08:09:44 +0100 |
ballarin |
Remove diagnostic command 'print_dependencies'.
|
file |
diff |
annotate
|
| Fri, 22 Nov 2019 15:26:08 +0100 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|