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

add complex_of_real coercion
2014-03-31, by hoelzl
add limits of power at top and bot
2014-03-31, by hoelzl
add connected_local_const
2014-03-31, by hoelzl
add rules about infinity of intervals
2014-03-31, by hoelzl
tuned proofs;
2014-03-30, by wenzelm
immediate completion even with delay, which is the default according to 638b29331549;
2014-03-30, by wenzelm
special treatment for various kinds of selections: imitate normal flow of editing;
2014-03-30, by wenzelm
merged
2014-03-29, by wenzelm
do not absorb vacuous copy operation, e.g. relevant when tooltip has focus but no selection, while the main text area has a selection but no focus;
2014-03-29, by wenzelm
check global mouse status before opening tooltip, e.g. relevant when the mouse has moved outside the window and mouse events are no longer seen by this component;
2014-03-29, by wenzelm
dismiss all popups on mouse drags, e.g. to avoid conflict of C-hover of Isabelle/jEdit and C-selection of jEdit;
2014-03-29, by wenzelm
tuned proofs
2014-03-28, by huffman
minimized imports
2014-03-28, by huffman
merged
2014-03-29, by wenzelm
tuned rendering -- change mouse pointer for active areas;
2014-03-29, by wenzelm
propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);
2014-03-29, by wenzelm
tuned signature;
2014-03-29, by wenzelm
tuned signature;
2014-03-29, by wenzelm
tuned -- see Text.Range.overlaps(Range);
2014-03-29, by wenzelm
tuned
2014-03-29, by nipkow
tuned;
2014-03-28, by wenzelm
merged
2014-03-27, by wenzelm
tuned -- avoid code duplication;
2014-03-27, by wenzelm
tuned;
2014-03-27, by wenzelm
more frugal merge of markup trees: restrict to expected range before checking trivial cases, e.g. relevant for sporadic warnings (eval_exec) within big ML reports (print_exec);
2014-03-27, by wenzelm
back to cumulative treatment of command status, which is important for total accounting (amending 8201790fdeb9);
2014-03-27, by wenzelm
tuned;
2014-03-27, by wenzelm
redirect ML_Compiler reports more directly: only the (big) parse tree report is deferred via Execution.print (NB: this does not work for asynchronous "diag" commands);
2014-03-27, by wenzelm
clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
2014-03-27, by wenzelm
more frugal merge of markup trees: non-overlapping tree counts as empty;
2014-03-27, by wenzelm
more frugal merge of markup trees: filter wrt. subsequent query;
2014-03-27, by wenzelm
tuned signature;
2014-03-27, by wenzelm
more careful treatment of multiple command states (eval + prints): merge content that is actually required;
2014-03-27, by wenzelm
tuned signature -- expose less intermediate information;
2014-03-26, by wenzelm
support to redirect report on asynchronous / non-strict print function (NB: not scalable due to bulky merge of markup trees);
2014-03-26, by wenzelm
less markup by default -- this is stored persistently in Isabelle/Scala;
2014-03-26, by wenzelm
clarified valid_id: always standardize towards static command.id;
2014-03-26, by wenzelm
prefer Context_Position where a context is available;
2014-03-26, by wenzelm
unused;
2014-03-26, by wenzelm
more uniform Execution.fork vs. Execution.print;
2014-03-26, by wenzelm
added Execution.print: accumulate print operations for some command execution, which are applied later and print time;
2014-03-26, by wenzelm
tuned proofs
2014-03-26, by huffman
Some useful lemmas
2014-03-26, by paulson
tuned comments;
2014-03-26, by wenzelm
tuned load order;
2014-03-26, by wenzelm
superseded by (provide_)parse_files;
2014-03-26, by wenzelm
tuned;
2014-03-26, by wenzelm
merged
2014-03-25, by wenzelm
more warnings for recent versions of Poly/ML (see also fe1f6a1707f7);
2014-03-25, by wenzelm
eliminated dead code;
2014-03-25, by wenzelm
proper configuration option "ML_print_depth";
2014-03-25, by wenzelm
removed junk;
2014-03-25, by wenzelm
clarified options ML_source_trace and ML_exception_trace (NB: the latter needs to be a system option, since the context is sometimes not available, e.g. for 'theory' command);
2014-03-25, by wenzelm
separate tokenization and language context for SML: no symbols, no antiquotes;
2014-03-25, by wenzelm
separate "sml" mode, suppress old "ml" mode altogether;
2014-03-25, by wenzelm
some SML examples;
2014-03-25, by wenzelm
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
2014-03-25, by wenzelm
updated to scala-2.10.4;
2014-03-25, by wenzelm
cleanup auxiliary proofs for Brouwer fixpoint theorem (removes ~2400 lines)
2014-03-25, by hoelzl
prove theorems with fixed variables (export afterwards)
2014-03-25, by traytel

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

isabelle