11 hours ago nipkow 2018-09-24 merged default tip
12 hours ago nipkow 2018-09-24 NEWS
19 hours ago nipkow 2018-09-24 more conversion from ( * ) to (*)
21 hours ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
13 hours ago wenzelm 2018-09-24 expose locale_dependency information;
13 hours ago wenzelm 2018-09-24 tuned signature;
15 hours ago wenzelm 2018-09-24 tuned signature: more explicit types;
15 hours ago wenzelm 2018-09-24 tuned;
15 hours ago wenzelm 2018-09-24 tuned signature: prefer value-oriented pretty-printing;
15 hours ago wenzelm 2018-09-24 tuned signature;
16 hours ago wenzelm 2018-09-24 tuned signature: prefer value-oriented pretty-printing;
16 hours ago wenzelm 2018-09-24 tuned (according to signature);
20 hours ago wenzelm 2018-09-24 tuned comments: local context is intended according to 06fd1914b902 and documentation for command 'print_interps';
20 hours ago wenzelm 2018-09-24 misc tuning and modernization;
20 hours ago wenzelm 2018-09-24 more position information; tuned;
20 hours ago wenzelm 2018-09-24 clarified message;
22 hours ago wenzelm 2018-09-24 tuned signature: more explicit types;
23 hours ago wenzelm 2018-09-24 clarified signature;
23 hours ago wenzelm 2018-09-24 eliminated dead code (see b806a7678083);
23 hours ago wenzelm 2018-09-24 tuned -- removed spurious dead code from 7b9a67cbd48f;
23 hours ago wenzelm 2018-09-24 tuned signature: canonical argument order;
23 hours ago wenzelm 2018-09-24 tuned signature; tuned comments;
37 hours ago wenzelm 2018-09-23 discontinued old-style goal cases;
38 hours ago wenzelm 2018-09-23 tuned;
39 hours ago wenzelm 2018-09-23 more robust: logic image might be absent in PIDE session;
39 hours ago wenzelm 2018-09-23 discontinued old-style inner comments;
39 hours ago wenzelm 2018-09-23 tuned;
40 hours ago wenzelm 2018-09-23 eliminated old-style inner comments;
42 hours ago nipkow 2018-09-23 More standard precedences
44 hours ago nipkow 2018-09-23 more standard syntax
45 hours ago nipkow 2018-09-23 News
46 hours ago nipkow 2018-09-23 use standard syntax
2 days ago wenzelm 2018-09-22 proper status after commit;
2 days ago wenzelm 2018-09-22 obsolete (see aec64b88e708);
2 days ago wenzelm 2018-09-22 proper return code for runtime failure;
2 days ago wenzelm 2018-09-22 clarified errors: no result from forced session.stop, check pending theories;
3 days ago paulson 2018-09-21 merged
3 days ago paulson 2018-09-21 more on product (function) topologies
3 days ago wenzelm 2018-09-21 clarified locale content: proper args with types for interpretation/axioms and typargs derived from the result;
3 days ago wenzelm 2018-09-21 clarified error;
3 days ago wenzelm 2018-09-21 clarified errors;
3 days ago wenzelm 2018-09-21 suppress some theories to allow "isabelle dump -o skip_proofs";
3 days ago wenzelm 2018-09-21 tuned signature;
4 days ago wenzelm 2018-09-20 merged
4 days ago wenzelm 2018-09-20 clarified standardization of variables, with proper treatment of local variables; tuned signature; tuned;
4 days ago paulson 2018-09-20 removal of more redundancies, and fixes
4 days ago paulson 2018-09-20 merged
4 days ago paulson 2018-09-20 elimination of near duplication involving Rolle's theorem and the MVT
5 days ago wenzelm 2018-09-19 export semi-unfolded locale axioms;
5 days ago wenzelm 2018-09-19 tuned;
5 days ago wenzelm 2018-09-19 clarified signature;
5 days ago wenzelm 2018-09-19 tuned signature;
6 days ago wenzelm 2018-09-18 more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
6 days ago wenzelm 2018-09-18 tuned signature;
7 days ago wenzelm 2018-09-18 tuned signature;
7 days ago wenzelm 2018-09-18 clarified modules;
7 days ago wenzelm 2018-09-17 merged
7 days ago wenzelm 2018-09-17 tuned message;
7 days ago wenzelm 2018-09-17 tuned message;
7 days ago wenzelm 2018-09-17 more detailed session dependencies, with conditions for theories;