Tue, 21 Oct 2014 20:44:17 +0200 wenzelm tuned;
Tue, 21 Oct 2014 20:19:14 +0200 wenzelm support for begin/end matching;
Tue, 21 Oct 2014 20:18:37 +0200 wenzelm proper token kind;
Tue, 21 Oct 2014 19:20:48 +0200 wenzelm added option jedit_structure_limit;
Tue, 21 Oct 2014 17:49:51 +0200 wenzelm some structure matching, based on line token iterators;
Tue, 21 Oct 2014 15:21:44 +0200 wenzelm support for structure matching;
Tue, 21 Oct 2014 13:56:42 +0200 wenzelm tuned rendering;
Tue, 21 Oct 2014 13:21:59 +0200 wenzelm back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
Tue, 21 Oct 2014 11:13:16 +0200 wenzelm tuned;
Tue, 21 Oct 2014 10:58:19 +0200 wenzelm update_cartouches;
Tue, 21 Oct 2014 10:53:24 +0200 wenzelm clarified tree root;
Tue, 21 Oct 2014 10:00:25 +0200 wenzelm tuned spacing;
Tue, 21 Oct 2014 09:50:22 +0200 wenzelm clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
Tue, 21 Oct 2014 21:10:44 +0200 haftmann turn even into an abbreviation
Tue, 21 Oct 2014 17:23:16 +0200 desharna update documentation for 'size_o_map'
Tue, 21 Oct 2014 17:23:14 +0200 desharna rename 'size_o_map' to 'size_gen_o_map'
Tue, 21 Oct 2014 17:23:14 +0200 desharna document 'size_gen'
Tue, 21 Oct 2014 17:23:13 +0200 desharna generate 'size_gen' for datatypes
Tue, 21 Oct 2014 17:23:13 +0200 desharna document 'map_o_corec'
Tue, 21 Oct 2014 17:23:12 +0200 desharna generate 'map_o_corec' for (co)datatypes
Tue, 21 Oct 2014 17:23:12 +0200 desharna move documentation of 'rec_o_map'
Tue, 21 Oct 2014 17:23:11 +0200 desharna move theorem 'rec_o_map'
Tue, 21 Oct 2014 17:23:10 +0200 desharna warn for not fully mutually (co)recursive types
Tue, 21 Oct 2014 17:00:42 +0200 hoelzl add transfer rule for set_pmf
Mon, 20 Oct 2014 18:33:14 +0200 hoelzl add tendsto_const and tendsto_ident_at as simp and intro rules
Mon, 20 Oct 2014 23:17:28 +0200 wenzelm tuned spacing;
Mon, 20 Oct 2014 22:46:17 +0200 wenzelm avoid odd ligatures;
Mon, 20 Oct 2014 21:48:03 +0200 wenzelm more accurate approximation of AST;
Mon, 20 Oct 2014 21:44:33 +0200 wenzelm tuned exposition of {* ... *};
Mon, 20 Oct 2014 21:32:54 +0200 wenzelm more antiquotations;
Mon, 20 Oct 2014 20:43:02 +0200 wenzelm more antiquotations;
Mon, 20 Oct 2014 17:56:23 +0200 kuncar register transfer rules from BNF and FP_Sugar
Mon, 20 Oct 2014 17:56:21 +0200 kuncar refactored
Mon, 20 Oct 2014 17:41:04 +0200 wenzelm merged
Mon, 20 Oct 2014 17:02:46 +0200 wenzelm back to formal comment (see 23a380cc45f4, 3094b0edd6b5);
Mon, 20 Oct 2014 17:00:13 +0200 wenzelm repared document;
Mon, 20 Oct 2014 16:53:50 +0200 wenzelm merged
Mon, 20 Oct 2014 16:52:36 +0200 wenzelm official support for "tt" style variants, avoid fragile \verb in LaTeX;
Mon, 20 Oct 2014 14:11:14 +0200 wenzelm removed dead code;
Mon, 20 Oct 2014 10:19:50 +0200 wenzelm suppress special Poly/ML location inBasis (see $ML_SOURCES/mlsource/MLCompiler/STRUCT_VALS.ML);
Mon, 20 Oct 2014 16:12:23 +0100 paulson tweaked
Mon, 20 Oct 2014 12:26:44 +0200 haftmann avoid unsafe simp rules
Mon, 20 Oct 2014 07:57:33 +0200 haftmann more standard declaration for presburger
Mon, 20 Oct 2014 07:45:58 +0200 haftmann augmented and tuned facts on even/odd and division
Sun, 19 Oct 2014 18:05:26 +0200 haftmann prefer generic elimination rules for even/odd over specialized unfold rules for nat
Sun, 19 Oct 2014 12:47:34 +0200 wenzelm NEWS;
Sun, 19 Oct 2014 12:07:03 +0200 wenzelm omit pointless nodes for proof commands etc.;
Sun, 19 Oct 2014 11:20:03 +0200 wenzelm tuned signature and modules;
Sat, 18 Oct 2014 22:50:35 +0200 wenzelm merged
Sat, 18 Oct 2014 22:49:59 +0200 wenzelm NEWS;
Sat, 18 Oct 2014 22:41:36 +0200 wenzelm more folds;
Sat, 18 Oct 2014 22:02:10 +0200 wenzelm always apply precedingFoldLevels, avoid unclear shortcuts;
Sat, 18 Oct 2014 21:26:01 +0200 wenzelm make double-sure that line context is present, e.g. relevant for last line after visible text;
Sat, 18 Oct 2014 20:56:16 +0200 wenzelm clarified Line_Structure wrt. command span;
Sat, 18 Oct 2014 11:19:34 +0200 wenzelm tuned signature;
Sat, 18 Oct 2014 10:50:40 +0200 wenzelm tuned signature;
Sat, 18 Oct 2014 10:32:19 +0200 wenzelm tuned signature;
Thu, 16 Oct 2014 21:24:42 +0200 wenzelm more explicit Line_Nesting;
Thu, 16 Oct 2014 12:24:19 +0200 wenzelm tuned comments;
Thu, 16 Oct 2014 12:09:57 +0200 wenzelm support line context with depth;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip