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

reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);
2009-10-26, by wenzelm
forget old some old option stuff from NJ -- superceded by material in Pure/General/basics.ML;
2009-10-26, by wenzelm
tuned;
2009-10-26, by wenzelm
added nitpick manual here;
2009-10-26, by wenzelm
recovered sort indentation for "sort position", as documented in the file;
2009-10-26, by wenzelm
tuned white space;
2009-10-26, by wenzelm
merged
2009-10-26, by haftmann
merged
2009-10-26, by haftmann
avoid upto if not needed
2009-10-26, by haftmann
conceal quickcheck generators
2009-10-26, by haftmann
merged
2009-10-26, by blanchet
merged
2009-10-26, by blanchet
make Nitpick compile again
2009-10-26, by blanchet
merged
2009-10-26, by blanchet
be somewhat more liberal in Nitpick about which types may occur in formulas
2009-10-23, by blanchet
make the Nitpick examples work again
2009-10-23, by blanchet
updated keyword files to include "nitpick" and "nitpick_params"
2009-10-23, by blanchet
continuation of Nitpick's integration into Isabelle;
2009-10-23, by blanchet
updated Nitpick documentation to remove weird default for "overlord"
2009-10-23, by blanchet
updated Nitpick manual to reflect the latest Stand der Dinge
2009-10-23, by blanchet
merged
2009-10-22, by blanchet
wrap line correctly in Nitpick documentation
2009-10-22, by blanchet
added Nitpick's theory and ML files to Isabelle/HOL;
2009-10-22, by blanchet
Added Nitpick manual.
2009-10-22, by blanchet
merged
2009-10-26, by berghofe
Added Pattern.thy to Nominal/Examples.
2009-10-26, by berghofe
merged
2009-10-26, by haftmann
tuned
2009-10-26, by haftmann
added SML_Quickcheck import
2009-10-26, by haftmann
tuned code setup for primitive boolean connectors
2009-10-26, by haftmann
legacy warnings for old-style term styles
2009-10-26, by haftmann
removed unnecessary NameSpace prefix;
2009-10-26, by wenzelm
misc tuning and updates;
2009-10-26, by wenzelm
merged
2009-10-26, by wenzelm
implicit default is 4 cores -- more cost-effective;
2009-10-26, by wenzelm
deleted junk;
2009-10-26, by wenzelm
more precise dependencies, notably for HOL-Multivariate_Analysis;
2009-10-26, by wenzelm
re-moved theory Fin_Fun to AFP
2009-10-26, by haftmann
merged
2009-10-26, by haftmann
distinguished session for multivariate analysis
2009-10-23, by himmelma
adjusted to changes in corresponding ML code
2009-10-26, by haftmann
eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion;
2009-10-25, by wenzelm
maintain theory name via name space, not tags;
2009-10-25, by wenzelm
name space groups are identified by serial, not serial_string;
2009-10-25, by wenzelm
maintain group via name space, not tags;
2009-10-25, by wenzelm
LocalTheory.naming_of;
2009-10-25, by wenzelm
begin_theory: set theory_name here;
2009-10-25, by wenzelm
maintain group via name space, not tags;
2009-10-25, by wenzelm
maintain proper Name_Space.naming, with conceal and set_group;
2009-10-25, by wenzelm
more direct access to naming;
2009-10-25, by wenzelm
Name_Space.naming: maintain group and theory_name as well;
2009-10-25, by wenzelm
export is_concealed;
2009-10-25, by wenzelm
merge_list: no exception DUP here;
2009-10-25, by wenzelm
merged
2009-10-25, by wenzelm
more uniform ISABELLE_USEDIR_OPTIONS;
2009-10-25, by wenzelm
make SML/NJ happy;
2009-10-25, by wenzelm
conceal consts via name space, not tags;
2009-10-25, by wenzelm
allow name space entries to be "concealed" -- via binding/naming/local_theory;
2009-10-25, by wenzelm
switch to polyml-5.2.1 to see if it impacts performance;
2009-10-25, by wenzelm
merged
2009-10-25, by chaieb

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

isabelle