isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

Mon, 01 Aug 2005 19:20:24 +0200 removed read_cterm;

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;

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;

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;

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;

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):

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 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle