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

tuned;
2012-08-10, by wenzelm
discontinued mostly unused markup for command spans;
2012-08-10, by wenzelm
more visible markup of malformed input as "bad";
2012-08-10, by wenzelm
tuned proofs
2012-08-10, by blanchet
some attempts to keep malformed syntax errors focussed, without too much red spilled onto the document view;
2012-08-09, by wenzelm
refined recover_spans: take visible range into account, reparse and trim results -- to improve editing experience wrt. unbalanced quotations etc.;
2012-08-09, by wenzelm
tuned signature;
2012-08-09, by wenzelm
more direct Linear_Set.reverse, swapping orientation of the graph;
2012-08-09, by wenzelm
tuned signature;
2012-08-09, by wenzelm
tuned;
2012-08-09, by wenzelm
refined recovery of scan errors: longest prefix of delimited token after failure, otherwise just one symbol;
2012-08-09, by wenzelm
explicit FIXME;
2012-08-09, by wenzelm
tuned signature;
2012-08-09, by wenzelm
corrected header
2012-08-08, by haftmann
refined isabelle mkroot;
2012-08-08, by wenzelm
simplified session specifications: names are taken verbatim and current directory is default;
2012-08-08, by wenzelm
added build option -D: include session directory and select its sessions;
2012-08-08, by wenzelm
discontinued obsolete "isabelle makeall";
2012-08-08, by wenzelm
even more permissive approximation of master_dir, which is only required to access external resources ('uses' etc.);
2012-07-27, by wenzelm
back to implicit commit via isabelle-process -- save image only once (cf. 181b91e1d1c1);
2012-08-08, by wenzelm
proper axiomatization of "mem" -- do not leave it formally unspecified;
2012-08-08, by wenzelm
simplified Pure bootstrap -- separate pure_setup.ML was required for Alice/ML at some point;
2012-08-08, by wenzelm
more casual exit back to ML toplevel, to accomodate commit in SML/NJ which continues at the saved point;
2012-08-08, by wenzelm
obsolete;
2012-08-08, by wenzelm
eliminated obsolete ISABELLE_USEDIR_OPTIONS;
2012-08-08, by wenzelm
updated ML settings;
2012-08-08, by wenzelm
add legacy target for HOL-Probability, needed by AFP/Markov_Models
2012-08-08, by hoelzl
proper isabelle update_keywords tool;
2012-08-08, by wenzelm
configure Admin as component, with its own lib/Tools;
2012-08-08, by wenzelm
SOMEthing went utterly wrong in 5b51ccdc8623;
2012-08-08, by wenzelm
more legacy targets;
2012-08-08, by wenzelm
discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
2012-08-07, by wenzelm
tuned;
2012-08-07, by wenzelm
proper quoting
2012-08-07, by blanchet
merged
2012-08-07, by wenzelm
more structural parsing for minor modes;
2012-08-07, by wenzelm
clarified Sidekick configuration, including minor modes;
2012-08-07, by wenzelm
stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users
2012-08-07, by blanchet
specify full path to clausifier
2012-08-07, by blanchet
documentation
2012-08-07, by blanchet
more token markers, based on actual outer syntax;
2012-08-07, by wenzelm
simplified process startup phases: INIT suffices for is_ready;
2012-08-07, by wenzelm
need to expand path in order to resolve imports like "~~/src/Tools/Code_Generator";
2012-08-07, by wenzelm
prefer static Build.session_content for loaded theories -- discontinued incremental protocol;
2012-08-07, by wenzelm
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
2012-08-07, by wenzelm
permissive outer syntax wrt. symbol recoding;
2012-08-07, by wenzelm
simplified Document.Node.Header -- internalized errors;
2012-08-07, by wenzelm
tuned signature;
2012-08-07, by wenzelm
tuned signature -- slightly more abstract text representation of prover process;
2012-08-07, by wenzelm
tuned signature -- make Pretty less dependent on Symbol;
2012-08-07, by wenzelm
extended Mirabelle to support user-provided setup files which contain the configuration for a Mirabelle run (avoids some layers of scripts and reduces the complexity of the overall Mirabelle setup)
2012-08-07, by boehmes
increase defensive timeout that should typically not kick in thanks to solid time limits in Sledgehammer (otherwise, Mirabelle-based evaluations might be distorted)
2012-08-07, by boehmes
documentation
2012-08-06, by blanchet
added iProver(-Eq) local
2012-08-06, by blanchet
optimized saving
2012-08-06, by blanchet
pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
2012-08-06, by wenzelm
merged
2012-08-06, by wenzelm
switching from Emacs.app to Aquamacs.app
2012-08-06, by paulson
switching from Emacs.app to Aquamacs.app
2012-08-06, by paulson
modify group_cancel simprocs so that they can cancel multiple terms at once
2012-08-06, by huffman

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

isabelle