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 +30000 tip

merged
2011-01-14, by hoelzl
integral on lebesgue measure is extension of integral on borel measure
2011-01-14, by hoelzl
tuned formalization of subalgebra
2011-01-14, by hoelzl
introduced integral syntax
2011-01-14, by hoelzl
tuned theorem order
2011-01-14, by hoelzl
configuration file for mira
2011-01-14, by haftmann
eliminated global prems;
2011-01-13, by wenzelm
more precise pretty printing -- to accomodate Scala message layout;
2011-01-13, by wenzelm
less verbosity -- avoid slightly odd tracing information on warning channel;
2011-01-13, by wenzelm
updated Isabelle/jEdit limitations and workarounds;
2011-01-13, by wenzelm
full theory path enables loading parents via master directory and keeps files strictly separate;
2011-01-13, by wenzelm
Toplevel.init_theory: maintain optional master directory, to allow bypassing global Thy_Load.master_path;
2011-01-13, by wenzelm
clarified split_thy_path;
2011-01-13, by wenzelm
less verbosity;
2011-01-13, by wenzelm
proper 'domain' class instance for 'a defl, with deflation combinator
2011-01-12, by huffman
documented Option.bind
2011-01-12, by krauss
CONTRIBUTORS
2011-01-12, by krauss
updated keywords;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
updated to ProofGeneral-4.x;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
tuned proof;
2011-01-12, by wenzelm
eliminated global prems;
2011-01-12, by wenzelm
compile;
2011-01-12, by wenzelm
more FIXMEs concerning bad catch-all exception handlers;
2011-01-12, by wenzelm
eliminated obsolete print_sign_exn_unit;
2011-01-12, by wenzelm
reraise interrupts as usual;
2011-01-12, by wenzelm
avoid catch-all exception handler, presumably TERM was meant here;
2011-01-12, by wenzelm
disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers;
2011-01-12, by wenzelm
observe line length limit;
2011-01-12, by wenzelm
smart_string_of_real: print integer values without fractional part;
2011-01-12, by wenzelm
tuned (cf. 2fe62d602681);
2011-01-11, by wenzelm
added dist/jedit symlink for convenience;
2011-01-11, by wenzelm
record versions of both jEdit and Isabelle;
2011-01-11, by wenzelm
updated to Isabelle2011;
2011-01-11, by wenzelm
isabelle version -i;
2011-01-11, by wenzelm
NEWS
2011-01-11, by haftmann
NEWS
2011-01-11, by bulwahn
eliminated duplication
2011-01-11, by krauss
merged
2011-01-11, by wenzelm
tuned text
2011-01-11, by haftmann
"enriched_type" replaces less specific "type_lifting"
2011-01-11, by haftmann
clarified notion Position.is_reported;
2011-01-11, by wenzelm
refined report_parse_tree: reverse reports happen to produce proper type information for inlined @{term}, @{typ} etc.;
2011-01-10, by wenzelm
refined ML_Lex.flatten: ensure proper separation of tokens;
2011-01-10, by wenzelm
ML compiler: more careful treatment of input tokens -- trailing space ensures proper separation and end position (cf. 82c1e348bc18, 08240feb69c7);
2011-01-10, by wenzelm
use just one data slot to VC-related information
2011-01-10, by boehmes
be more precise: also merge option values
2011-01-10, by boehmes
only print warning in a visible context (previously, the warning was printed more than once)
2011-01-10, by boehmes
dropped superfluous error message
2011-01-10, by boehmes
removed obsolete make target (now in doc-src, cf. 28b487cd9e15)
2011-01-10, by krauss
updated for polyml-5.4.0;
2011-01-10, by wenzelm
made SML/NJ happy;
2011-01-10, by wenzelm
added merge_options convenience;
2011-01-10, by wenzelm
tuned string_of_int to avoid allocation for small integers;
2011-01-10, by wenzelm
eliminated Int.toString;
2011-01-10, by wenzelm
eliminated obsolete LargeInt -- Int is unbounded;
2011-01-10, by wenzelm
standardized split_last/last_elem towards List.last;
2011-01-10, by wenzelm
removing dead code; tuned
2011-01-10, by bulwahn

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

isabelle