isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 +30000 tip

display some platform information;
2009-06-28, by wenzelm
discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
2009-06-28, by wenzelm
merged
2009-06-28, by wenzelm
check if conjectures have been used in proof
2009-06-28, by immler
return number of first conjecture-clause and number of conjecture-clauses;
2009-06-28, by immler
use structure File instead of TextIO;
2009-06-28, by immler
whitelist for HOL problems with ext:
2009-06-28, by immler
always include whitelist;
2009-06-28, by immler
check for current versions on server
2009-06-28, by immler
relevance filter with the same parameters for remote-versions
2009-06-28, by immler
use X2TPTP optionally and only for remote_spass;
2009-06-28, by immler
fixed
2009-06-28, by immler
clarified "jars" target;
2009-06-28, by wenzelm
produce self-contained isabelle-scala.jar;
2009-06-28, by wenzelm
proper interpretation of Cygwin.config;
2009-06-28, by wenzelm
sane platform look-and-feel;
2009-06-28, by wenzelm
minimal GUI_Setup, which is the main class of Pure.jar;
2009-06-28, by wenzelm
some more Cygwin checks;
2009-06-28, by wenzelm
moved platform identification to platform.scala;
2009-06-28, by wenzelm
less ambitious version that works with Java 1.5;
2009-06-27, by wenzelm
clarified default_platform;
2009-06-27, by wenzelm
more detailed platform identification;
2009-06-27, by wenzelm
isabelle_path: slightly more liberal root pattern;
2009-06-27, by wenzelm
added isabelle_path;
2009-06-27, by wenzelm
tune File.isabelle_tool signature;
2009-06-27, by wenzelm
builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);
2009-06-27, by wenzelm
removed old primrecs
2009-06-27, by nipkow
replaced recdefs by funs
2009-06-27, by nipkow
tuned abbrevs;
2009-06-26, by wenzelm
lcm abs lemmas
2009-06-26, by nipkow
gcd abs lemmas
2009-06-26, by nipkow
NEWS updated
2009-06-25, by hoelzl
Improved computation of bounds and implemented interval splitting for 'approximation'.
2009-06-25, by hoelzl
Added new evaluator "approximate"
2009-06-08, by hoelzl
tuned
2009-06-15, by hoelzl
merged
2009-06-25, by haftmann
added List_Set and Code_Set theories
2009-06-25, by haftmann
merged
2009-06-25, by wenzelm
merged
2009-06-25, by haftmann
arbitrary farewell
2009-06-25, by haftmann
expand_path: handle parent (..) elements;
2009-06-25, by wenzelm
more stats;
2009-06-25, by wenzelm
merged
2009-06-25, by wenzelm
Streamlined code
2009-06-25, by nipkow
merged
2009-06-25, by nipkow
Cleaned up GCD
2009-06-25, by nipkow
renamed IsabelleProcess to Isabelle_Process;
2009-06-25, by wenzelm
renamed IsabelleSystem to Isabelle_System;
2009-06-25, by wenzelm
standard naming conventions for session and theories;
2009-06-24, by wenzelm
renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
2009-06-24, by wenzelm
proper ML interface set_full_types;
2009-06-24, by wenzelm
Replaced Suc_remove by Suc_eq_plus1
2009-06-24, by nipkow
New ATP option: full types
2009-06-24, by nipkow
corrected and unified thm names
2009-06-24, by nipkow
merged
2009-06-23, by haftmann
merged
2009-06-23, by haftmann
Datatype.get_all
2009-06-23, by haftmann
corrected handling of free variables in arguments
2009-06-23, by haftmann
tuned proof
2009-06-23, by haftmann
tuned interfaces of datatype module
2009-06-23, by haftmann
add_datatypes does not yield particular rules any longer
2009-06-23, by haftmann
merged
2009-06-23, by haftmann
add_datatype interface yields type names and less rules
2009-06-23, by haftmann
non-public representation;
2009-06-23, by wenzelm
fixed abbrev !! for \<And>;
2009-06-23, by wenzelm
merged
2009-06-23, by wenzelm
merged
2009-06-23, by haftmann
simplified proof
2009-06-23, by haftmann
uniformly capitialized names for subdirectories
2009-06-23, by haftmann
renamed ioa to automaton
2009-06-23, by haftmann
renamed ioa to automaton
2009-06-23, by haftmann
dropped duplicated lemmas, tuned header
2009-06-23, by haftmann
NewNumberTheory depends on Algebra
2009-06-23, by haftmann
merged
2009-06-23, by haftmann
lemma funcset_id by Jeremy Avigad
2009-06-23, by haftmann
lemma finite_image_set by Jeremy Avigad
2009-06-23, by haftmann
merged
2009-06-23, by nipkow
new lemmas
2009-06-23, by nipkow
tuned input: require longer symbol prefix;
2009-06-23, by wenzelm
moved string utilities to completion.scala;
2009-06-23, by wenzelm
Completion of symbols and keywords.
2009-06-23, by wenzelm
more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++;
2009-06-23, by wenzelm
Added Library/Fraction_Field.thy: The fraction field of any integral
2009-06-23, by chaieb
merged
2009-06-23, by nipkow
fixed name
2009-06-23, by nipkow
observe standard theory naming conventions;
2009-06-22, by wenzelm
end_timing: checked divisions with sane defaults;
2009-06-22, by wenzelm
eval: tuned input buffer and get_offset (which ran very hot, up to the point where AFP/FlyspeckTame would seemingly take forever);
2009-06-22, by wenzelm
merged
2009-06-22, by nipkow
tuned FuncSet
2009-06-22, by nipkow
Lexicon: removed unused max_entry;
2009-06-22, by wenzelm
use results of relevance-filter to determine additional clauses;
2009-06-22, by immler
export proof when exporting problemfile
2009-06-22, by immler
restructured external_prover
2009-06-22, by immler
corrected comments
2009-06-22, by immler
adapted to number theory switch
2009-06-22, by haftmann
merged
2009-06-22, by haftmann
code equation observes default sort constraints for types
2009-06-21, by haftmann
merged
2009-06-22, by haftmann
more precise computation of sort constraints
2009-06-21, by haftmann
merged
2009-06-21, by haftmann
merged
2009-06-21, by haftmann
merged
2009-06-21, by haftmann
discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-21, by haftmann
removed temporariy workarounds
2009-06-21, by haftmann
discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-21, by haftmann
simplified names of common datatype types
2009-06-21, by haftmann
more appropriate mk_typerep
2009-06-21, by haftmann
tuned interface
2009-06-21, by haftmann
new lemmas
2009-06-21, by nipkow
fixed NewNumberTheory deps
2009-06-21, by nipkow
fixed proof
2009-06-21, by nipkow
tuned
2009-06-20, by nipkow
added lemmas; tuned
2009-06-20, by nipkow
new lemmas and tuning
2009-06-20, by nipkow
merged
2009-06-19, by nipkow
Made Pi_I [simp]
2009-06-19, by nipkow
merged
2009-06-19, by haftmann
discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-19, by haftmann
more appropriate syntax for IML abstraction
2009-06-19, by haftmann