2014-10-22 wenzelm tuned imports;
2014-10-22 Andreas Lochbihler merged
2014-10-22 Andreas Lochbihler add print translation for probability notation \<P>
2014-10-22 wenzelm find main command keyword of 'begin';
2014-10-22 wenzelm restricted scanning;
2014-10-22 wenzelm repaired rail diagram (cf. 8450b944e58a);
2014-10-21 wenzelm foldPainter like Windows L&F;
2014-10-21 wenzelm merged
2014-10-21 wenzelm NEWS;
2014-10-21 wenzelm tuned whitespace;
2014-10-21 wenzelm ignore improper tokens to avoid ambiguity of Range.touches (assuming that relevant tokens are separated properly);
2014-10-21 wenzelm support for proof structure matching;
2014-10-21 wenzelm tuned;
2014-10-21 wenzelm tuned;
2014-10-21 wenzelm support for begin/end matching;
2014-10-21 wenzelm proper token kind;
2014-10-21 wenzelm added option jedit_structure_limit;
2014-10-21 wenzelm some structure matching, based on line token iterators;
2014-10-21 wenzelm support for structure matching;
2014-10-21 wenzelm tuned rendering;
2014-10-21 wenzelm back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
2014-10-21 wenzelm tuned;
2014-10-21 wenzelm update_cartouches;
2014-10-21 wenzelm clarified tree root;
2014-10-21 wenzelm tuned spacing;
2014-10-21 wenzelm clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
2014-10-21 haftmann turn even into an abbreviation
2014-10-21 desharna update documentation for 'size_o_map'
2014-10-21 desharna rename 'size_o_map' to 'size_gen_o_map'
2014-10-21 desharna document 'size_gen'
2014-10-21 desharna generate 'size_gen' for datatypes
2014-10-21 desharna document 'map_o_corec'
2014-10-21 desharna generate 'map_o_corec' for (co)datatypes
2014-10-21 desharna move documentation of 'rec_o_map'
2014-10-21 desharna move theorem 'rec_o_map'
2014-10-21 desharna warn for not fully mutually (co)recursive types
2014-10-21 hoelzl add transfer rule for set_pmf
2014-10-20 hoelzl add tendsto_const and tendsto_ident_at as simp and intro rules
2014-10-20 wenzelm tuned spacing;
2014-10-20 wenzelm avoid odd ligatures;
2014-10-20 wenzelm more accurate approximation of AST;
2014-10-20 wenzelm tuned exposition of {* ... *};
2014-10-20 wenzelm more antiquotations;
2014-10-20 wenzelm more antiquotations;
2014-10-20 kuncar register transfer rules from BNF and FP_Sugar
2014-10-20 kuncar refactored
2014-10-20 wenzelm merged
2014-10-20 wenzelm back to formal comment (see 23a380cc45f4, 3094b0edd6b5);
2014-10-20 wenzelm repared document;
2014-10-20 wenzelm merged
2014-10-20 wenzelm official support for "tt" style variants, avoid fragile \verb in LaTeX;
2014-10-20 wenzelm removed dead code;
2014-10-20 wenzelm suppress special Poly/ML location inBasis (see $ML_SOURCES/mlsource/MLCompiler/STRUCT_VALS.ML);
2014-10-20 paulson tweaked
2014-10-20 haftmann avoid unsafe simp rules
2014-10-20 haftmann more standard declaration for presburger
2014-10-20 haftmann augmented and tuned facts on even/odd and division
2014-10-19 haftmann prefer generic elimination rules for even/odd over specialized unfold rules for nat
2014-10-19 wenzelm NEWS;
2014-10-19 wenzelm omit pointless nodes for proof commands etc.;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip