| #
b9b0c73d |
|
08-Sep-2019 |
wenzelm <none@none> |
declare session directories;
|
| #
6ef14cb4 |
|
20-Nov-2018 |
wenzelm <none@none> |
tuned -- refining auto-update 15e9ed5b28fb;
|
| #
25a29bd5 |
|
08-Nov-2018 |
wenzelm <none@none> |
isabelle update_cartouches -t;
|
| #
80c5b709 |
|
04-Apr-2017 |
wenzelm <none@none> |
tuned syntax;
some official documentation;
|
| #
76a037e2 |
|
26-Dec-2015 |
wenzelm <none@none> |
clarified sessions;
--HG--
rename : src/HOL/Isar_Examples/Nested_Datatype.thy => src/HOL/Induct/Nested_Datatype.thy
rename : src/FOL/ex/First_Order_Logic.thy => src/HOL/Isar_Examples/First_Order_Logic.thy
rename : src/HOL/ex/Higher_Order_Logic.thy => src/HOL/Isar_Examples/Higher_Order_Logic.thy
|
| #
863cbe74 |
|
30-Apr-2014 |
wenzelm <none@none> |
some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
|
| #
635b40b6 |
|
29-Apr-2014 |
wenzelm <none@none> |
systematic replacement of 'files' by 'document_files';
|
| #
d2193df8 |
|
29-Jun-2013 |
wenzelm <none@none> |
discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image;
discontinued unused proofterms for FOL;
|
| #
51d94d7f |
|
27-Mar-2013 |
wenzelm <none@none> |
allow build with skip_proofs enabled -- disable it for sessions that would fail due to embedded diagnostic commands, for example;
|
| #
6360c65a |
|
12-Mar-2013 |
wenzelm <none@none> |
refurbished some old README.html files as session descriptions, which show up in chapter index;
|
| #
34905e00 |
|
11-Mar-2013 |
wenzelm <none@none> |
support for 'chapter' specifications within session ROOT;
|
| #
b54a9eb3 |
|
08-Aug-2012 |
wenzelm <none@none> |
simplified session specifications: names are taken verbatim and current directory is default;
|
| #
f87391fb |
|
24-Jul-2012 |
wenzelm <none@none> |
tuned order;
|
| #
9fc70f48 |
|
23-Jul-2012 |
wenzelm <none@none> |
clarified "document" again, eliminated redundant "no_document";
|
| #
c3e7a789 |
|
24-Jul-2012 |
wenzelm <none@none> |
clarified document options;
|
| #
551be0a9 |
|
19-Jul-2012 |
wenzelm <none@none> |
support Session.Queue with ordering and dependencies;
|
| #
da7f1de7 |
|
18-Jul-2012 |
wenzelm <none@none> |
more tight treatment of reset_name;
|
| #
381c96c1 |
|
17-Jul-2012 |
wenzelm <none@none> |
basic support for session ROOT files, with examples for FOL and ZF;
|