| 2018-11-30 |
wenzelm |
use Isabelle fonts for all GUI look-and-feels;
|
file |
diff |
annotate
|
| 2018-11-24 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
| 2018-11-19 |
nipkow |
Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
|
file |
diff |
annotate
|
| 2018-11-10 |
wenzelm |
added ML antiquotation @{master_dir};
|
file |
diff |
annotate
|
| 2018-11-10 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
| 2018-11-08 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2018-11-08 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| 2018-11-08 |
wenzelm |
clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;
|
file |
diff |
annotate
|
| 2018-11-03 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2018-10-31 |
wenzelm |
clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
|
file |
diff |
annotate
|
| 2018-10-30 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2018-10-30 |
wenzelm |
tuned example;
|
file |
diff |
annotate
|
| 2018-10-30 |
wenzelm |
added GHC.read_source: read Haskell source text with antiquotations;
|
file |
diff |
annotate
|
| 2018-10-30 |
fleury |
add reconstruction by veriT in method smt
|
file |
diff |
annotate
|
| 2018-10-25 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2018-10-25 |
haftmann |
tuned grammar
|
file |
diff |
annotate
|
| 2018-10-21 |
nipkow |
uniform naming of strong congruence rules
|
file |
diff |
annotate
|
| 2018-10-17 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-10-17 |
wenzelm |
support for GHC via command-line tools;
|
file |
diff |
annotate
|
| 2018-10-08 |
wenzelm |
support for OCaml via command-line tools;
|
file |
diff |
annotate
|
| 2018-10-01 |
wenzelm |
HOL-SPARK .prv files are no longer written to the file-system;
|
file |
diff |
annotate
|
| 2018-09-30 |
nipkow |
news
|
file |
diff |
annotate
|
| 2018-09-24 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| 2018-09-23 |
wenzelm |
discontinued old-style goal cases;
|
file |
diff |
annotate
|
| 2018-09-23 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-09-23 |
wenzelm |
discontinued old-style inner comments;
|
file |
diff |
annotate
|
| 2018-09-23 |
nipkow |
News
|
file |
diff |
annotate
|
| 2018-09-08 |
haftmann |
left-over rename from 3f9bb52082c4
|
file |
diff |
annotate
|
| 2018-09-02 |
wenzelm |
clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
|
file |
diff |
annotate
|
| 2018-09-02 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2018-08-30 |
blanchet |
updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
|
file |
diff |
annotate
|
| 2018-08-27 |
wenzelm |
some NEWS (instead of proper documentation);
|
file |
diff |
annotate
|
| 2018-08-25 |
wenzelm |
retain original PolyML.pointerEq;
|
file |
diff |
annotate
|
| 2018-08-23 |
haftmann |
simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
|
file |
diff |
annotate
|
| 2018-08-18 |
wenzelm |
optional notification of nodes_status (via progress);
|
file |
diff |
annotate
|
| 2018-08-11 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| 2018-08-01 |
wenzelm |
isabelle build options -c -x -B refer to imports_graph;
|
file |
diff |
annotate
|
| 2018-07-29 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2018-07-26 |
wenzelm |
more flexible session selection as in "isabelle jedit";
|
file |
diff |
annotate
|
| 2018-07-22 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 2018-07-22 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-07-20 |
wenzelm |
added system option "strict_facts";
|
file |
diff |
annotate
|
| 2018-07-18 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-07-15 |
Andreas Lochbihler |
merged
|
file |
diff |
annotate
|
| 2018-07-15 |
Andreas Lochbihler |
more examples for Code_Lazy
|
file |
diff |
annotate
|
| 2018-07-15 |
Manuel Eberl |
Added Real_Asymp package
|
file |
diff |
annotate
|
| 2018-07-02 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2018-07-01 |
wenzelm |
discontinued pending_shyps: too much complication due to lazy facts;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
misc tuning and updates for release;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
command-line option for include_sessions;
|
file |
diff |
annotate
|
| 2018-06-29 |
wenzelm |
disallow pending hyps;
|
file |
diff |
annotate
|
| 2018-06-29 |
Wenda Li |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2018-06-27 |
wenzelm |
clarified settings -- avoid hard-wired directories;
|
file |
diff |
annotate
|
| 2018-06-27 |
immler |
example for Types_To_Sets: transfer from type-based linear algebra to subspaces
|
file |
diff |
annotate
|
| 2018-06-26 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2018-06-26 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| 2018-06-26 |
paulson |
Rationalisation of complex transcendentals, esp the Arg function
|
file |
diff |
annotate
|