isabelle: Changelog

blanchet [Fri, 25 Jun 2010 23:35:14 +0200] rev 37585

multiplexing

blanchet [Fri, 25 Jun 2010 18:34:06 +0200] rev 37584

factor out thread creation

blanchet [Fri, 25 Jun 2010 18:05:36 +0200] rev 37583

factored non-ATP specific code from "ATP_Manager" out, so that it can be reused for the LEO-II integration

blanchet [Fri, 25 Jun 2010 18:03:01 +0200] rev 37582

update docs

blanchet [Fri, 25 Jun 2010 17:32:55 +0200] rev 37581

simpler argument

blanchet [Fri, 25 Jun 2010 17:26:14 +0200] rev 37580

got rid of "respect_no_atp" option, which even I don't use

blanchet [Fri, 25 Jun 2010 17:13:38 +0200] rev 37579

reorder ML files

blanchet [Fri, 25 Jun 2010 17:08:39 +0200] rev 37578

renamed "Sledgehammer_FOL_Clauses" to "Metis_Clauses", so that Metis doesn't depend on Sledgehammer

blanchet [Fri, 25 Jun 2010 16:42:06 +0200] rev 37577

merge "Sledgehammer_{F,H}OL_Clause", as requested by a FIXME

blanchet [Fri, 25 Jun 2010 16:29:07 +0200] rev 37576

get rid of type alias

isabelle