Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 01 Aug 2005 19:20:29 +0200 Sign.read_term;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:29 +0200] rev 16975
Sign.read_term;
Mon, 01 Aug 2005 19:20:28 +0200 more zcong_sym;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:28 +0200] rev 16974
more zcong_sym;
Mon, 01 Aug 2005 19:20:26 +0200 simprocs: Simplifier.inherit_bounds;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:26 +0200] rev 16973
simprocs: Simplifier.inherit_bounds;
Mon, 01 Aug 2005 19:20:25 +0200 no eq_sym_conv;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:25 +0200] rev 16972
no eq_sym_conv; tuned;
Mon, 01 Aug 2005 19:20:24 +0200 removed read_cterm;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:24 +0200] rev 16971
removed read_cterm; tuned;
Mon, 01 Aug 2005 19:20:23 +0200 tuned msg;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:23 +0200] rev 16970
tuned msg;
Mon, 01 Aug 2005 19:20:22 +0200 PolyML.Compiler.printInAlphabeticalOrder := false;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:22 +0200] rev 16969
PolyML.Compiler.printInAlphabeticalOrder := false;
Mon, 01 Aug 2005 19:20:21 +0200 polyml: use polyml-platform/version from Isabelle distribution;
changeset
wenzelm [Mon, 01 Aug 2005 19:20:21 +0200] rev 16968
polyml: use polyml-platform/version from Isabelle distribution; removed DEFS_CHAIN_HISTORY;
Mon, 01 Aug 2005 14:40:21 +0200 obsolete;
changeset
wenzelm [Mon, 01 Aug 2005 14:40:21 +0200] rev 16967
obsolete;
Mon, 01 Aug 2005 11:39:33 +0200 1. changed configuration variables for linear programming (Cplex_tools):
changeset
obua [Mon, 01 Aug 2005 11:39:33 +0200] rev 16966
1. changed configuration variables for linear programming (Cplex_tools): LP_SOLVER is either CPLEX or GLPK CPLEX_PATH is the path to the cplex binary GLPK_PATH is the path to the glpk binary The change makes it possible to switch between glpk and cplex at runtime. 2. moved conflicting list theories out of Library.thy into ROOT.ML
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle