isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 25 Apr 2009 21:28:05 +0200 use predefined preferences categories;

changeset

wenzelm [Sat, 25 Apr 2009 21:28:05 +0200] rev 30982

use predefined preferences categories;

Sat, 25 Apr 2009 21:28:05 +0200 removed obsolete artifacts;

changeset

wenzelm [Sat, 25 Apr 2009 21:28:05 +0200] rev 30981

removed obsolete artifacts;

Sat, 25 Apr 2009 21:28:04 +0200 misc cleanup of auto_solve and quickcheck:

changeset

wenzelm [Sat, 25 Apr 2009 21:28:04 +0200] rev 30980

misc cleanup of auto_solve and quickcheck: tools are in src/Tools and loaded uniformly in HOL; preferences are configured in their proper place -- despite old misleading comments in the source; use predefined preferences categories; setmp preferences in-place;

Sat, 25 Apr 2009 20:31:27 +0200 renamed contrib/SystemOnTPTP/remote to lib/script/SystemOnTPTP, thus leaving contrib empty within the official distribution;

changeset

wenzelm [Sat, 25 Apr 2009 20:31:27 +0200] rev 30979

renamed contrib/SystemOnTPTP/remote to lib/script/SystemOnTPTP, thus leaving contrib empty within the official distribution;

Sat, 25 Apr 2009 20:05:21 +0200 post Isabelle2009 version;

changeset

wenzelm [Sat, 25 Apr 2009 20:05:21 +0200] rev 30978

post Isabelle2009 version;

Sat, 25 Apr 2009 08:34:30 +0200 adjusted to change in code_wellsorted.ML

changeset

haftmann [Sat, 25 Apr 2009 08:34:30 +0200] rev 30977

adjusted to change in code_wellsorted.ML