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

added 'datatype_compat' examples/tests
2014-04-08, by blanchet
support deeply nested datatypes in 'datatype_compat'
2014-04-08, by blanchet
preserve user type variable names to avoid mismatches/confusion
2014-04-08, by blanchet
even more standardized doc session names after #b266e7a86485
2014-04-08, by haftmann
refrain from changing jEdit default shortcuts, due to potential for conflicts and actually not working on Mac OS X;
2014-04-07, by wenzelm
support for URL as file name, similar to treatment in jEdit.java;
2014-04-07, by wenzelm
provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
2014-04-07, by wenzelm
separate file_node vs. file_path, e.g. relevant on Windows for hyperlink to the latter;
2014-04-07, by wenzelm
merged
2014-04-06, by nipkow
tuned lemmas: more general class
2014-04-06, by nipkow
tuned proofs;
2014-04-06, by wenzelm
removed abbrev "<-" again (see c771f0fe28d1) due to conflict with important "<->" and "<-->";
2014-04-06, by wenzelm
merged
2014-04-06, by nipkow
made field_simps "more complete"
2014-04-06, by nipkow
shell functions for all Isabelle executables;
2014-04-06, by wenzelm
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2014-04-06, by wenzelm
more source positions;
2014-04-06, by wenzelm
clarified position: no offset here;
2014-04-06, by wenzelm
more source positions;
2014-04-06, by wenzelm
approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
2014-04-06, by wenzelm
clarified ML bootstrap;
2014-04-06, by wenzelm
prepare "back" position for Navigator, before following hyperlink;
2014-04-06, by wenzelm
tuned;
2014-04-05, by wenzelm
merged
2014-04-05, by wenzelm
more uniform build options;
2014-04-05, by wenzelm
re-implemented build_doc in Isabelle/Scala;
2014-04-05, by wenzelm
more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
2014-04-05, by wenzelm
more standard hash-bang (python *is* canonical according to Admin/PLATFORMS);
2014-04-05, by wenzelm
tuned -- just one qualification of sections ("!");
2014-04-05, by wenzelm
tuned error;
2014-04-05, by wenzelm
proper settings instead of hard-wired information;
2014-04-05, by wenzelm
explicit indication of important doc sections ("!"), which are expanded in the tree view;
2014-04-05, by wenzelm
clarified Doc entry: more explicit path;
2014-04-05, by wenzelm
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
2014-04-05, by wenzelm
closer correspondence of document and session names, while maintaining document names for external reference
2014-04-05, by haftmann
ignore jedit mark files
2014-04-05, by paulson
avoid romanism
2014-04-05, by haftmann
churning pie charts (with non-canonical prerequisites!)
2014-04-05, by haftmann
CONTRIBUTORS
2014-04-05, by haftmann
proper inclusion into library
2014-04-05, by haftmann
A single [simp] to handle the case -a/-b.
2014-04-05, by paulson
support for jEdit Navigator plugin;
2014-04-04, by wenzelm
more permissive Session.update_options: this is wired to jEdit PropertiesChanged, which may occur before the prover is started;
2014-04-04, by wenzelm
added option to Mirabelle
2014-04-04, by blanchet
divide_minus_left divide_minus_right are in field_simps but are not default simprules
2014-04-04, by paulson
removing simprule status for divide_minus_left and divide_minus_right
2014-04-03, by paulson
merged;
2014-04-04, by wenzelm
tuned rendering -- take 1px line border into account;
2014-04-04, by wenzelm
revert ce37fcb30cf2 for the sake of Mac OS X -- let some event listeners of jEdit reset the cursor;
2014-04-04, by wenzelm
tuned white space;
2014-04-04, by wenzelm
use Z3 TPTP cores rather than proofs since the latter are somewhat broken
2014-04-04, by blanchet
tuned spaces
2014-04-04, by blanchet
merged
2014-04-04, by Andreas Lochbihler
add missing adaptation for narrowing to work with variables of type integer => integer
2014-04-04, by Andreas Lochbihler
merged
2014-04-04, by wenzelm
added ML antiquotation @{print};
2014-04-04, by wenzelm
afford larger full_index, to save a few milliseconds during rendering (notably text_overview);
2014-04-04, by wenzelm
improved parsing of "z3_tptp" proofs
2014-04-04, by blanchet
merged
2014-04-03, by wenzelm
more direct warning within persistent Protocol.Status;
2014-04-03, by wenzelm

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

isabelle