| Sun, 09 May 2021 05:48:50 +0000 |
haftmann |
more elementary swap
|
file |
diff |
annotate
|
| Wed, 05 May 2021 16:09:02 +0000 |
haftmann |
tuned theory structure
|
file |
diff |
annotate
|
| Wed, 05 May 2021 16:09:02 +0000 |
haftmann |
more appropriate location
|
file |
diff |
annotate
|
| Sun, 02 May 2021 17:38:49 +0200 |
wenzelm |
support nested cases;
|
file |
diff |
annotate
|
| Thu, 22 Apr 2021 10:11:11 +0200 |
wenzelm |
simplified typesetting of \<guillemotleft>...\<guillemotright>;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2021 23:16:00 +0200 |
wenzelm |
support for conditional ML text;
|
file |
diff |
annotate
|
| Fri, 09 Apr 2021 22:06:59 +0200 |
wenzelm |
support for ML special forms: modified evaluation similar to Scheme;
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 18:01:41 +0100 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 17:13:15 +0100 |
wenzelm |
support repository archives (without full .hg directory);
|
file |
diff |
annotate
|
| Thu, 25 Mar 2021 08:52:15 +0000 |
haftmann |
dedicated session for combinatorial material
|
file |
diff |
annotate
|
| Mon, 22 Mar 2021 17:33:08 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Mon, 22 Mar 2021 10:49:51 +0000 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
| Mon, 22 Mar 2021 00:07:55 +0100 |
wenzelm |
clarified package name (actually both pxfonts and txfonts exist and have this font);
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:56:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:03:31 +0100 |
wenzelm |
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
|
file |
diff |
annotate
|
| Wed, 17 Mar 2021 22:24:57 +0100 |
wenzelm |
more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
|
file |
diff |
annotate
|
| Sun, 14 Mar 2021 21:02:34 +0100 |
wenzelm |
removed spurious references to perl / libwww-perl;
|
file |
diff |
annotate
|
| Thu, 11 Mar 2021 07:05:38 +0000 |
haftmann |
avoid name clash
|
file |
diff |
annotate
|
| Thu, 11 Mar 2021 11:22:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 09 Mar 2021 21:11:05 +0100 |
wenzelm |
proper type-setting of cartouches (requires T1);
|
file |
diff |
annotate
|
| Sun, 07 Mar 2021 08:24:24 +0100 |
haftmann |
follow corresponding precedence on sets
|
file |
diff |
annotate
|
| Sat, 06 Mar 2021 18:42:10 +0000 |
haftmann |
consolidated names
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 17:29:49 +0100 |
wenzelm |
clarified timeouts in Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 10:30:54 +0100 |
haftmann |
typo
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 08:16:22 +0100 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 22:17:56 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:36:58 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:01:07 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Tue, 23 Feb 2021 23:00:08 +0100 |
wenzelm |
more on Isabelle_System.bash;
|
file |
diff |
annotate
|
| Tue, 23 Feb 2021 20:41:48 +0000 |
haftmann |
more specific name
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 23:31:59 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 18:28:12 +0000 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 07:49:48 +0000 |
haftmann |
get rid of traditional predicate
|
file |
diff |
annotate
|
| Fri, 19 Feb 2021 13:42:12 +0100 |
Manuel Eberl |
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
|
file |
diff |
annotate
|
| Sat, 13 Feb 2021 20:39:29 +0100 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 20:44:44 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Wed, 03 Feb 2021 20:18:34 +0100 |
wenzelm |
clarified links to external files, e.g. .pdf within .thy source document;
|
file |
diff |
annotate
|
| Tue, 26 Jan 2021 23:34:40 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 22 Jan 2021 18:44:34 +0100 |
wenzelm |
IDE support for Naproche-SAD;
|
file |
diff |
annotate
|
| Thu, 21 Jan 2021 16:10:43 +0100 |
wenzelm |
support isabelle components -u and -x;
|
file |
diff |
annotate
|
| Tue, 19 Jan 2021 14:14:23 +0100 |
wenzelm |
clarified documentation concerning macOS Big Sur;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 20:11:42 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 19:53:20 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sun, 17 Jan 2021 11:19:15 +0100 |
wenzelm |
revert 1105c42722dc on isabelle-release branch;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 15:48:15 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 15:35:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:17:27 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 19:49:22 +0100 |
wenzelm |
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 00:11:52 +0100 |
wenzelm |
clarified default L&F;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 19:53:44 +0100 |
Manuel Eberl |
HOL-Data_Structures: added Selection and time functions for list functions
|
file |
diff |
annotate
|
| Thu, 07 Jan 2021 13:23:54 +0100 |
wenzelm |
clarified NEWS;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 12:59:52 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 03:35:46 +0100 |
Manuel Eberl |
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
|
file |
diff |
annotate
|
| Mon, 04 Jan 2021 21:25:40 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 04 Jan 2021 21:24:15 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2021 19:41:38 +0100 |
Manuel Eberl |
HOL-Library: Changed notation for sum_mset
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 14:04:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 13:52:55 +0100 |
wenzelm |
proper NEWS according to current situation;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 13:49:03 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Thu, 24 Dec 2020 00:07:51 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2020 21:06:31 +0100 |
wenzelm |
clarified modules: avoid multiple uses of the same ML file;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 14:03:12 +0100 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 13:58:11 +0100 |
wenzelm |
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 12:51:28 +0100 |
wenzelm |
provide zipperposition-2.0 for experimentation;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2020 00:08:14 +0100 |
wenzelm |
download auxiliary files via "curl";
|
file |
diff |
annotate
|
| Fri, 18 Dec 2020 23:19:07 +0100 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 15:39:21 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 13:47:33 +0100 |
wenzelm |
added action isabelle.goto-entity to follow links in a narrow formal sense;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 22:44:53 +0100 |
wenzelm |
clarified session log file: avoid erratic messages;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 18:38:26 +0100 |
wenzelm |
NEWS and documentation for "isabelle log";
|
file |
diff |
annotate
|
| Sun, 06 Dec 2020 16:27:37 +0100 |
wenzelm |
PIDE support for session ROOTS;
|
file |
diff |
annotate
|
| Fri, 04 Dec 2020 18:29:48 +0100 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 23:51:37 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 23:47:06 +0100 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 06:48:35 +0000 |
haftmann |
refined syntax for bundle mixins for locale and class specifications
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:23:33 +0100 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|
| Sun, 22 Nov 2020 13:11:40 +0100 |
wenzelm |
updated to cvc4-1.8;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 19:48:05 +0100 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 18:16:25 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:58:00 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 07:17:06 +0000 |
haftmann |
bundles for reflected term syntax
|
file |
diff |
annotate
|
| Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
| Thu, 12 Nov 2020 09:06:44 +0100 |
haftmann |
bundled syntax for state monad combinators
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2020 16:49:51 +0100 |
wenzelm |
clarified output of "isabelle process";
|
file |
diff |
annotate
|
| Wed, 04 Nov 2020 07:39:17 +0000 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Fri, 30 Oct 2020 22:56:15 +0100 |
wenzelm |
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
|
file |
diff |
annotate
|
| Thu, 29 Oct 2020 16:07:41 +0100 |
desharna |
Added smt (verit) to Sledgehammer's proof preplay.
|
file |
diff |
annotate
|
| Thu, 29 Oct 2020 18:23:28 +0000 |
haftmann |
unified Local_Theory.init with Generic_Target.init
|
file |
diff |
annotate
|
| Thu, 29 Oct 2020 10:03:03 +0000 |
haftmann |
moved most material from session HOL-Word to Word_Lib in the AFP
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2020 21:35:39 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2020 13:24:16 +0200 |
wenzelm |
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 20:28:43 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 16:32:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 16:45:38 +0200 |
Mathias Fleury |
reconstruction of veriT proofs in NEWS
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 18:59:44 +0200 |
Mathias Fleury |
add reconstruction for the SMT solver veriT
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 17:42:15 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 07:25:38 +0000 |
haftmann |
replaced combinators by more conventional nesting pattern
|
file |
diff |
annotate
|
| Mon, 12 Oct 2020 07:25:38 +0000 |
haftmann |
consolidated names and operations
|
file |
diff |
annotate
|
| Wed, 07 Oct 2020 10:39:14 +0200 |
haftmann |
consolidated for the sake of documentation
|
file |
diff |
annotate
|
| 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
|