Wed, 23 Sep 2020 15:18:07 +0200 |
\----- start update Isabelle2019 --> Isabelle2020
|
file | diff | annotate |
Tue, 03 Sep 2019 16:10:31 +0200 |
\----- start update Isabelle2018 --> Isabelle2019
|
file | diff | annotate |
Wed, 22 Aug 2018 14:44:15 +0200 |
\----- start update Isabelle2017 --> Isabelle2018
|
file | diff | annotate |
Tue, 12 Jun 2018 08:08:16 +0200 |
bridge: comment on templates
|
file | diff | annotate |
Mon, 11 Jun 2018 16:28:21 +0200 |
bridge: hint by Makarius how to introduce templates
|
file | diff | annotate |
Fri, 19 Jan 2018 12:49:17 +0100 |
\----- start update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
Fri, 08 Aug 2014 11:43:08 +0200 |
improved monitor panel;
|
file | diff | annotate |
Mon, 04 Aug 2014 17:55:11 +0200 |
tuned;
|
file | diff | annotate |
Thu, 31 Jul 2014 21:29:31 +0200 |
completion popup supports both ENTER and TAB (default);
|
file | diff | annotate |
Wed, 30 Jul 2014 16:44:54 +0200 |
NEWS
|
file | diff | annotate |
Tue, 29 Jul 2014 17:13:25 +0200 |
better ordering of positive_integral renaming to nn_integral in NEWS
|
file | diff | annotate |
Mon, 28 Jul 2014 11:03:28 +0200 |
some actual workaround to remove document nodes;
|
file | diff | annotate |
Sun, 27 Jul 2014 15:25:00 +0200 |
tuned;
|
file | diff | annotate |
Thu, 24 Jul 2014 16:21:50 +0200 |
tuned spelling;
|
file | diff | annotate |
Thu, 24 Jul 2014 10:22:34 +0200 |
updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
|
file | diff | annotate |
Mon, 21 Jul 2014 16:04:45 +0200 |
clarified "simp_trace_new" and corresponding isar-ref section;
|
file | diff | annotate |
Wed, 09 Jul 2014 11:35:52 +0200 |
tuned terminology
|
file | diff | annotate |
Sat, 05 Jul 2014 12:04:25 +0200 |
misc tuning for release;
|
file | diff | annotate |
Sat, 05 Jul 2014 11:06:14 +0200 |
NEWS
|
file | diff | annotate |
Fri, 04 Jul 2014 20:18:47 +0200 |
reduced name variants for assoc and commute on plus and mult
|
file | diff | annotate |
Fri, 04 Jul 2014 16:50:57 +0200 |
misc tuning for release;
|
file | diff | annotate |
Fri, 04 Jul 2014 14:52:05 +0200 |
misc tuning for release;
|
file | diff | annotate |
Fri, 04 Jul 2014 11:39:34 +0200 |
NEWS;
|
file | diff | annotate |
Wed, 02 Jul 2014 17:34:45 +0200 |
tuned grammar and spelling (cf. 0cf15843b82f);
|
file | diff | annotate |
Tue, 01 Jul 2014 17:16:11 +0200 |
overdue NEWS concerning c4daa97ac57a
|
file | diff | annotate |
Tue, 01 Jul 2014 16:08:31 +0100 |
for new release
|
file | diff | annotate |
Tue, 01 Jul 2014 14:52:08 +0200 |
misc updates for release;
|
file | diff | annotate |
Mon, 30 Jun 2014 10:53:37 +0200 |
ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
|
file | diff | annotate |
Mon, 30 Jun 2014 09:43:44 +0200 |
"isabelle tty" is superseded by "isabelle console";
|
file | diff | annotate |
Mon, 30 Jun 2014 08:00:36 +0200 |
qualified String.explode and String.implode
|
file | diff | annotate |
Sun, 29 Jun 2014 18:28:27 +0200 |
killed Python version of MaSh, now that the SML version works adequately
|
file | diff | annotate |
Sat, 28 Jun 2014 22:13:23 +0200 |
tracing facilities for the code generator preprocessor
|
file | diff | annotate |
Sat, 28 Jun 2014 15:50:48 +0200 |
updated NEWS -- removed material that is already in the manual;
|
file | diff | annotate |
Sat, 28 Jun 2014 09:16:42 +0200 |
fact consolidation
|
file | diff | annotate |
Fri, 27 Jun 2014 16:04:56 +0200 |
command 'print_term_bindings' supersedes 'print_binds';
|
file | diff | annotate |
Fri, 27 Jun 2014 15:30:57 +0200 |
removed obsolete "isabelle unsymbolize";
|
file | diff | annotate |
Wed, 18 Jun 2014 13:23:09 +0200 |
enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable
|
file | diff | annotate |
Fri, 13 Jun 2014 14:49:59 +0100 |
NEWS
|
file | diff | annotate |
Fri, 13 Jun 2014 14:08:20 +0200 |
properties of normal distributed random variables (by Sudeep Kanav)
|
file | diff | annotate |
Fri, 13 Jun 2014 07:05:01 +0200 |
announce Tree
|
file | diff | annotate |
Thu, 12 Jun 2014 17:50:49 +0200 |
tuning
|
file | diff | annotate |
Thu, 12 Jun 2014 17:10:12 +0200 |
renamed Sledgehammer options
|
file | diff | annotate |
Thu, 12 Jun 2014 17:02:03 +0200 |
updated docs
|
file | diff | annotate |
Thu, 12 Jun 2014 17:02:03 +0200 |
took out broken support for Yices from SMT2 stack -- see 'NEWS' for rationale
|
file | diff | annotate |
Wed, 11 Jun 2014 11:28:46 +0200 |
updated NEWS slightly
|
file | diff | annotate |
Thu, 29 May 2014 16:13:47 +0200 |
removed Kleene_Algebra because of superior AFP entry; authors agreed
|
file | diff | annotate |
Tue, 27 May 2014 17:32:42 +0200 |
don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
|
file | diff | annotate |
Mon, 26 May 2014 16:32:55 +0200 |
got rid of '=:' squiggly
|
file | diff | annotate |
Mon, 26 May 2014 14:15:48 +0200 |
renamed 'MaSh' option
|
file | diff | annotate |
Sat, 24 May 2014 20:24:43 +0200 |
support for regular Windows TeX installation;
|
file | diff | annotate |
Tue, 20 May 2014 22:28:44 +0200 |
added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)
|
file | diff | annotate |
Tue, 20 May 2014 22:28:08 +0200 |
added Isabelle system option 'mash'
|
file | diff | annotate |
Tue, 20 May 2014 16:46:42 +0200 |
news
|
file | diff | annotate |
Mon, 19 May 2014 14:26:58 +0200 |
renamed positive_integral to nn_integral
|
file | diff | annotate |
Mon, 19 May 2014 12:04:45 +0200 |
introduce Bochner integral: generalizes Lebesgue integral from real-valued function to functions on real-normed vector spaces
|
file | diff | annotate |
Thu, 15 May 2014 18:18:50 +0200 |
type
|
file | diff | annotate |
Tue, 13 May 2014 09:21:22 +0200 |
bnf_decl -> bnf_axiomatization
|
file | diff | annotate |
Mon, 12 May 2014 12:38:17 +0200 |
NEWS;
|
file | diff | annotate |
Fri, 09 May 2014 08:13:37 +0200 |
hardcoded nbe and sml into value command
|
file | diff | annotate |