| 2014-08-16 |
wenzelm |
updated documentation concerning 'named_theorems';
|
file |
diff |
annotate
|
| 2014-08-14 |
wenzelm |
localized command 'method_setup' and 'attribute_setup';
|
file |
diff |
annotate
|
| 2014-08-10 |
wenzelm |
merged -- with manual conflict resolution for src/HOL/SMT_Examples/SMT_Examples.certs2, src/HOL/SMT_Examples/SMT_Word_Examples.certs2, src/Doc/Prog_Prove/document/intro-isabelle.tex;
|
file |
diff |
annotate
|
| 2014-08-08 |
wenzelm |
improved monitor panel;
|
file |
diff |
annotate
|
| 2014-08-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-07-31 |
wenzelm |
completion popup supports both ENTER and TAB (default);
|
file |
diff |
annotate
|
| 2014-07-30 |
kuncar |
NEWS
|
file |
diff |
annotate
|
| 2014-07-29 |
hoelzl |
better ordering of positive_integral renaming to nn_integral in NEWS
|
file |
diff |
annotate
|
| 2014-07-28 |
wenzelm |
some actual workaround to remove document nodes;
|
file |
diff |
annotate
|
| 2014-08-01 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| 2014-07-27 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 2014-07-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-07-24 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| 2014-07-24 |
wenzelm |
updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
|
file |
diff |
annotate
|
| 2014-07-21 |
wenzelm |
clarified "simp_trace_new" and corresponding isar-ref section;
|
file |
diff |
annotate
|
| 2014-07-09 |
blanchet |
tuned terminology
|
file |
diff |
annotate
|
| 2014-07-05 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2014-07-05 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| 2014-07-04 |
haftmann |
reduced name variants for assoc and commute on plus and mult
|
file |
diff |
annotate
|
| 2014-07-04 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2014-07-04 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2014-07-04 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2014-07-02 |
wenzelm |
tuned grammar and spelling (cf. 0cf15843b82f);
|
file |
diff |
annotate
|
| 2014-07-01 |
immler |
overdue NEWS concerning c4daa97ac57a
|
file |
diff |
annotate
|
| 2014-07-01 |
paulson |
for new release
|
file |
diff |
annotate
|
| 2014-07-01 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
| 2014-06-30 |
wenzelm |
ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
|
file |
diff |
annotate
|
| 2014-06-30 |
wenzelm |
"isabelle tty" is superseded by "isabelle console";
|
file |
diff |
annotate
|
| 2014-06-30 |
haftmann |
qualified String.explode and String.implode
|
file |
diff |
annotate
|
| 2014-06-29 |
blanchet |
killed Python version of MaSh, now that the SML version works adequately
|
file |
diff |
annotate
|
| 2014-06-28 |
haftmann |
tracing facilities for the code generator preprocessor
|
file |
diff |
annotate
|
| 2014-06-28 |
wenzelm |
updated NEWS -- removed material that is already in the manual;
|
file |
diff |
annotate
|
| 2014-06-28 |
haftmann |
fact consolidation
|
file |
diff |
annotate
|
| 2014-06-27 |
wenzelm |
command 'print_term_bindings' supersedes 'print_binds';
|
file |
diff |
annotate
|
| 2014-06-27 |
wenzelm |
removed obsolete "isabelle unsymbolize";
|
file |
diff |
annotate
|
| 2014-06-18 |
blanchet |
enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable
|
file |
diff |
annotate
|
| 2014-06-13 |
paulson |
NEWS
|
file |
diff |
annotate
|
| 2014-06-13 |
hoelzl |
properties of normal distributed random variables (by Sudeep Kanav)
|
file |
diff |
annotate
|
| 2014-06-13 |
nipkow |
announce Tree
|
file |
diff |
annotate
|
| 2014-06-12 |
blanchet |
tuning
|
file |
diff |
annotate
|
| 2014-06-12 |
blanchet |
renamed Sledgehammer options
|
file |
diff |
annotate
|
| 2014-06-12 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| 2014-06-12 |
blanchet |
took out broken support for Yices from SMT2 stack -- see 'NEWS' for rationale
|
file |
diff |
annotate
|
| 2014-06-11 |
blanchet |
updated NEWS slightly
|
file |
diff |
annotate
|
| 2014-05-29 |
nipkow |
removed Kleene_Algebra because of superior AFP entry; authors agreed
|
file |
diff |
annotate
|
| 2014-05-27 |
blanchet |
don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
|
file |
diff |
annotate
|
| 2014-05-26 |
blanchet |
got rid of '=:' squiggly
|
file |
diff |
annotate
|
| 2014-05-26 |
blanchet |
renamed 'MaSh' option
|
file |
diff |
annotate
|
| 2014-05-24 |
wenzelm |
support for regular Windows TeX installation;
|
file |
diff |
annotate
|
| 2014-05-20 |
blanchet |
added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)
|
file |
diff |
annotate
|
| 2014-05-20 |
blanchet |
added Isabelle system option 'mash'
|
file |
diff |
annotate
|
| 2014-05-20 |
blanchet |
news
|
file |
diff |
annotate
|
| 2014-05-19 |
hoelzl |
renamed positive_integral to nn_integral
|
file |
diff |
annotate
|
| 2014-05-19 |
hoelzl |
introduce Bochner integral: generalizes Lebesgue integral from real-valued function to functions on real-normed vector spaces
|
file |
diff |
annotate
|
| 2014-05-15 |
haftmann |
type
|
file |
diff |
annotate
|
| 2014-05-13 |
traytel |
bnf_decl -> bnf_axiomatization
|
file |
diff |
annotate
|
| 2014-05-12 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2014-05-09 |
haftmann |
hardcoded nbe and sml into value command
|
file |
diff |
annotate
|
| 2014-05-09 |
haftmann |
prefer separate command for approximation
|
file |
diff |
annotate
|
| 2014-05-07 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|