isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 06 Aug 2009 22:30:27 +0200 more platforms;

changeset

wenzelm [Thu, 06 Aug 2009 22:30:27 +0200] rev 32334

more platforms;

Thu, 06 Aug 2009 20:46:33 +0200 tuned header;

changeset

wenzelm [Thu, 06 Aug 2009 20:46:33 +0200] rev 32333

tuned header; visible text instead of source comments;

Thu, 06 Aug 2009 19:51:59 +0200 misc changes to SOS by Philipp Meyer:

changeset

wenzelm [Thu, 06 Aug 2009 19:51:59 +0200] rev 32332

misc changes to SOS by Philipp Meyer: CSDP_EXE as central setting; separate component src/HOL/Library/Sum_Of_Squares; misc tuning and rearrangement of neos_csdp_client; more robust treatment of shell paths; debugging depends on local flag; removed unused parts;

Wed, 05 Aug 2009 17:10:10 +0200 settings for ATP_Manager component;

changeset

wenzelm [Wed, 05 Aug 2009 17:10:10 +0200] rev 32331

settings for ATP_Manager component;

Wed, 05 Aug 2009 16:17:30 +0200 merged

changeset

wenzelm [Wed, 05 Aug 2009 16:17:30 +0200] rev 32330

merged

Wed, 05 Aug 2009 15:39:34 +0200 SUBPROOF: recovered Goal.check_finished;

changeset

wenzelm [Wed, 05 Aug 2009 15:39:34 +0200] rev 32329

SUBPROOF: recovered Goal.check_finished; tuned;