10 hours ago wenzelm 2018-09-23 discontinued old-style goal cases; default tip
10 hours ago wenzelm 2018-09-23 tuned;
11 hours ago wenzelm 2018-09-23 more robust: logic image might be absent in PIDE session;
12 hours ago wenzelm 2018-09-23 discontinued old-style inner comments;
12 hours ago wenzelm 2018-09-23 tuned;
13 hours ago wenzelm 2018-09-23 eliminated old-style inner comments;
15 hours ago nipkow 2018-09-23 More standard precedences
16 hours ago nipkow 2018-09-23 more standard syntax
18 hours ago nipkow 2018-09-23 News
19 hours ago nipkow 2018-09-23 use standard syntax
40 hours ago wenzelm 2018-09-22 proper status after commit;
41 hours ago wenzelm 2018-09-22 obsolete (see aec64b88e708);
41 hours ago wenzelm 2018-09-22 proper return code for runtime failure;
43 hours ago wenzelm 2018-09-22 clarified errors: no result from forced session.stop, check pending theories;
2 days ago paulson 2018-09-21 merged
2 days ago paulson 2018-09-21 more on product (function) topologies
2 days ago wenzelm 2018-09-21 clarified locale content: proper args with types for interpretation/axioms and typargs derived from the result;
2 days ago wenzelm 2018-09-21 clarified error;
2 days ago wenzelm 2018-09-21 clarified errors;
2 days ago wenzelm 2018-09-21 suppress some theories to allow "isabelle dump -o skip_proofs";
2 days ago wenzelm 2018-09-21 tuned signature;
3 days ago wenzelm 2018-09-20 merged
3 days ago wenzelm 2018-09-20 clarified standardization of variables, with proper treatment of local variables; tuned signature; tuned;
3 days ago paulson 2018-09-20 removal of more redundancies, and fixes
3 days ago paulson 2018-09-20 merged
3 days ago paulson 2018-09-20 elimination of near duplication involving Rolle's theorem and the MVT
4 days ago wenzelm 2018-09-19 export semi-unfolded locale axioms;
4 days ago wenzelm 2018-09-19 tuned;
4 days ago wenzelm 2018-09-19 clarified signature;
4 days ago wenzelm 2018-09-19 tuned signature;
5 days ago wenzelm 2018-09-18 more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
5 days ago wenzelm 2018-09-18 tuned signature;
5 days ago wenzelm 2018-09-18 tuned signature;
5 days ago wenzelm 2018-09-18 clarified modules;
6 days ago wenzelm 2018-09-17 merged
6 days ago wenzelm 2018-09-17 tuned message;
6 days ago wenzelm 2018-09-17 tuned message;
6 days ago wenzelm 2018-09-17 more detailed session dependencies, with conditions for theories;
6 days ago wenzelm 2018-09-17 clarified signature;
6 days ago nipkow 2018-09-17 merged
6 days ago nipkow 2018-09-17 added insertion sort with keys
6 days ago paulson 2018-09-17 Set idioms theory "finite intersection_of open", etc.
7 days ago wenzelm 2018-09-16 export plain infix syntax;
7 days ago wenzelm 2018-09-16 unused;
7 days ago paulson 2018-09-16 merged
7 days ago paulson 2018-09-16 more lemmas
7 days ago nipkow 2018-09-16 tuned
7 days ago nipkow 2018-09-16 more traditional formulation
8 days ago wenzelm 2018-09-15 more exports;
8 days ago wenzelm 2018-09-15 updated to Ubuntu 18.04;
9 days ago wenzelm 2018-09-14 merged
10 days ago wenzelm 2018-09-13 tuned;
9 days ago nipkow 2018-09-14 added quicksort
10 days ago nipkow 2018-09-14 tuned
10 days ago wenzelm 2018-09-13 more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further;
10 days ago nipkow 2018-09-13 removed redundant lemma
10 days ago nipkow 2018-09-13 merged
10 days ago nipkow 2018-09-13 more simp lemmas
10 days ago wenzelm 2018-09-13 tuned signature;
10 days ago wenzelm 2018-09-13 tuned message;