isabelle: Graph

some support for inlining file content into outer syntax token language;
2012-08-20, by wenzelm
tuned comment;
2012-08-20, by wenzelm
tuned;
2012-08-20, by wenzelm
added keyword kind "thy_load" (with optional list of file extensions);
2012-08-20, by wenzelm
updated generated files;
2012-08-20, by wenzelm
more strict syntax, according to manual;
2012-08-20, by wenzelm
abstracted lemma
2012-08-20, by nipkow
retain unknown options within preferences;
2012-08-19, by wenzelm
more comprehensible platform family name;
2012-08-19, by wenzelm
tuned message;
2012-08-19, by wenzelm
fewer components, more roots;
2012-08-19, by wenzelm
actually remove makeall (cf. 292b97e17fb7);
2012-08-19, by wenzelm
tuned;
2012-08-17, by wenzelm
Backed out changeset ec82c33c75f8;
2012-08-17, by wenzelm
Typo fixed.
2012-08-17, by webertj
merged
2012-08-17, by wenzelm
merged
2012-08-17, by nipkow
fixed lemmas
2012-08-17, by nipkow
abstracted lemmas
2012-08-16, by nipkow
updated to new init_components, hoping that mira can digest that;
2012-08-17, by wenzelm
some explanations on component categories;
2012-08-17, by wenzelm
specific cygwin components;
2012-08-17, by wenzelm
obsolete;
2012-08-17, by wenzelm
some explanations on isabelle components;
2012-08-17, by wenzelm
some grouping of components;
2012-08-17, by wenzelm
renamed components to components_old, to make room for some directory of the same name;
2012-08-17, by wenzelm
minor robustification;
2012-08-17, by wenzelm
added "isabelle components" tool;
2012-08-17, by wenzelm
tuned;
2012-08-17, by wenzelm
direct support for component forests via init_components;
2012-08-17, by wenzelm
allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
2012-08-17, by wenzelm
tuned;
2012-08-17, by wenzelm
tuned;
2012-08-17, by wenzelm
updated component repository;
2012-08-17, by wenzelm
updates on 32 bit vs. 64 bit platforms;
2012-08-17, by wenzelm
updated to jedit_build-20120813, pointing to another contrib directory as a change;
2012-08-17, by wenzelm
merged
2012-08-16, by wenzelm
tuned proofs;
2012-08-16, by wenzelm
look in current directory first before looking up includes in the TPTP directory, as required by Geoff
2012-08-16, by blanchet
prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala
2012-08-16, by haftmann
more robust multi-platform support;
2012-08-16, by wenzelm
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
2012-08-16, by wenzelm
support for jdk-7u6 component;
2012-08-16, by wenzelm
Clarification: free variables allowed in interpreted locale instances.
2012-08-15, by ballarin
merged
2012-08-15, by nipkow
fixed proof
2012-08-15, by nipkow
abstracted lemmas
2012-08-15, by nipkow
Backed out changeset 6cf7a9d8bbaf
2012-08-15, by nipkow
abstracted lemmas
2012-08-15, by nipkow
merged
2012-08-15, by webertj
Turned into Admin tool download_components.
2012-08-15, by webertj
tuned;
2012-08-15, by wenzelm
tuned;
2012-08-15, by wenzelm
some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
2012-08-15, by wenzelm
tuned;
2012-08-15, by wenzelm
fixed handling of "int" in the wake of its port to the quotient package
2012-08-15, by blanchet
removed dead code
2012-08-15, by blanchet
merged
2012-08-15, by webertj
Added various options, notably -c to download components listed in Admin/components. Also, curl instead of wget.
2012-08-15, by webertj
ignore some administrative files on newer Mercurial versions as well;
2012-08-14, by wenzelm
some support for persistent user preferences;
2012-08-14, by wenzelm
merged
2012-08-14, by wenzelm
explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14, by wenzelm
more direct interpretation of document_variants for build (unchanged for usedir);
2012-08-14, by wenzelm
tone down "z3_tptp", now that Z3 (starting with 4.1) no longer supports TPTP TFF0
2012-08-14, by blanchet
fixed then-else confusion
2012-08-14, by blanchet
tweak Vampire setup in the light of new evaluation
2012-08-14, by blanchet
improved set of reconstructor methods
2012-08-14, by blanchet
warn users about unused "using" facts
2012-08-14, by blanchet
be less aggressive at kicking out chained facts
2012-08-14, by blanchet
recognize bus errors as crash
2012-08-14, by blanchet
consider removing chained facts last, so that they're more likely to be kept
2012-08-14, by blanchet
clarified format of etc/options: only declarations, not re-definitions;
2012-08-14, by wenzelm
check_errors for cumulative session content;
2012-08-14, by wenzelm
even more defensive path expansion (see also 8d381fdef898);
2012-08-14, by wenzelm
support for 'typ' with explicit sort constraint;
2012-08-14, by wenzelm
added jedit option -d;
2012-08-14, by wenzelm
always retain doc-src (as regular component);
2012-08-14, by wenzelm
merged
2012-08-13, by wenzelm
Calling isabelle with proper (relative) path, no longer relying on $PATH.
2012-08-13, by webertj
fewer workarounds for MacOS to increase chances that COMMAND ("META") key works with Java 1.7 from Oracle;
2012-08-13, by wenzelm
updated to jedit-4.5.2 (still unchanged);
2012-08-13, by wenzelm
restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself
2012-08-12, by krauss
tuned;
2012-08-12, by wenzelm
fixed mira.py (cf. fd50596bf78b)
2012-08-12, by krauss
more direct embedding of abstract thm values into the ML environment -- avoidance of repeated ML_Thms.the_thm(s) considerably reduces compilation time for Poly/ML 5.4.x;
2012-08-12, by wenzelm
more static antiquotations;
2012-08-12, by wenzelm
always show some timing information, to reduce the need for explicit -v;
2012-08-12, by wenzelm
some information for central Isabelle repository configuration;
2012-08-12, by wenzelm
reduced settings patching
2012-08-12, by krauss
removed obsolete configuration AFP_images
2012-08-12, by krauss
faster compilation of ML with antiquotations: static ML_context is bound once in auxiliary structure Isabelle;
2012-08-11, by wenzelm
simplified symbol matching;
2012-08-11, by wenzelm
further clarification of malformed symbols;
2012-08-11, by wenzelm
more liberal scanning of potentially malformed symbols;
2012-08-11, by wenzelm
vacuous execution after first malformed command;
2012-08-11, by wenzelm
clarified Command.range vs. Command.proper_range according to Scala version, which is potentially relevant for command status markup;
2012-08-11, by wenzelm
tuned markup;
2012-08-11, by wenzelm
tuned message;
2012-08-11, by wenzelm
clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);
2012-08-11, by wenzelm
reports with body text, not just markup;
2012-08-11, by wenzelm
fixed "double rev" bug that arose in situations where a % comment arose on the last line of a file without \n at the end
2012-08-11, by blanchet
special code with lists no longer necessary, use sets
2012-08-11, by nipkow
proper error prefixes;
2012-08-10, by wenzelm
more precise recover_quoted, recover_verbatim, recover_comment (cf. ML version) -- NB: context parsers expect explicit termination;
2012-08-10, by wenzelm
tuned message;
2012-08-10, by wenzelm
clarified Linear_Set.next/prev: check definedness;
2012-08-10, by wenzelm
merged
2012-08-10, by nipkow
Improved complete lattice formalisation - no more index set.
2012-08-10, by nipkow
merged
2012-08-10, by wenzelm
tuned proofs;
2012-08-10, by wenzelm
sneak message into "bad" markup as property -- to be displayed after YXML parsing;
2012-08-10, by wenzelm
apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.;
2012-08-10, by wenzelm
clarified undefined, unparsed, unfinished command spans;
2012-08-10, by wenzelm
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