isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

tuned;
2014-10-21, by wenzelm
support for begin/end matching;
2014-10-21, by wenzelm
proper token kind;
2014-10-21, by wenzelm
added option jedit_structure_limit;
2014-10-21, by wenzelm
some structure matching, based on line token iterators;
2014-10-21, by wenzelm
support for structure matching;
2014-10-21, by wenzelm
tuned rendering;
2014-10-21, by wenzelm
back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
2014-10-21, by wenzelm
tuned;
2014-10-21, by wenzelm
update_cartouches;
2014-10-21, by wenzelm
clarified tree root;
2014-10-21, by wenzelm
tuned spacing;
2014-10-21, by wenzelm
clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
2014-10-21, by wenzelm
turn even into an abbreviation
2014-10-21, by haftmann
update documentation for 'size_o_map'
2014-10-21, by desharna
rename 'size_o_map' to 'size_gen_o_map'
2014-10-21, by desharna
document 'size_gen'
2014-10-21, by desharna
generate 'size_gen' for datatypes
2014-10-21, by desharna
document 'map_o_corec'
2014-10-21, by desharna
generate 'map_o_corec' for (co)datatypes
2014-10-21, by desharna
move documentation of 'rec_o_map'
2014-10-21, by desharna
move theorem 'rec_o_map'
2014-10-21, by desharna
warn for not fully mutually (co)recursive types
2014-10-21, by desharna
add transfer rule for set_pmf
2014-10-21, by hoelzl
add tendsto_const and tendsto_ident_at as simp and intro rules
2014-10-20, by hoelzl
tuned spacing;
2014-10-20, by wenzelm
avoid odd ligatures;
2014-10-20, by wenzelm
more accurate approximation of AST;
2014-10-20, by wenzelm
tuned exposition of {* ... *};
2014-10-20, by wenzelm
more antiquotations;
2014-10-20, by wenzelm
more antiquotations;
2014-10-20, by wenzelm
register transfer rules from BNF and FP_Sugar
2014-10-20, by kuncar
refactored
2014-10-20, by kuncar
merged
2014-10-20, by wenzelm
back to formal comment (see 23a380cc45f4, 3094b0edd6b5);
2014-10-20, by wenzelm
repared document;
2014-10-20, by wenzelm
merged
2014-10-20, by wenzelm
official support for "tt" style variants, avoid fragile \verb in LaTeX;
2014-10-20, by wenzelm
removed dead code;
2014-10-20, by wenzelm
suppress special Poly/ML location inBasis (see $ML_SOURCES/mlsource/MLCompiler/STRUCT_VALS.ML);
2014-10-20, by wenzelm
tweaked
2014-10-20, by paulson
avoid unsafe simp rules
2014-10-20, by haftmann
more standard declaration for presburger
2014-10-20, by haftmann
augmented and tuned facts on even/odd and division
2014-10-20, by haftmann
prefer generic elimination rules for even/odd over specialized unfold rules for nat
2014-10-19, by haftmann
NEWS;
2014-10-19, by wenzelm
omit pointless nodes for proof commands etc.;
2014-10-19, by wenzelm
tuned signature and modules;
2014-10-19, by wenzelm
merged
2014-10-18, by wenzelm
NEWS;
2014-10-18, by wenzelm
more folds;
2014-10-18, by wenzelm
always apply precedingFoldLevels, avoid unclear shortcuts;
2014-10-18, by wenzelm
make double-sure that line context is present, e.g. relevant for last line after visible text;
2014-10-18, by wenzelm
clarified Line_Structure wrt. command span;
2014-10-18, by wenzelm
tuned signature;
2014-10-18, by wenzelm
tuned signature;
2014-10-18, by wenzelm
tuned signature;
2014-10-18, by wenzelm
more explicit Line_Nesting;
2014-10-16, by wenzelm
tuned comments;
2014-10-16, by wenzelm
support line context with depth;
2014-10-16, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle