blanchet [Wed, 28 Jul 2010 16:54:12 +0200] rev 38284
more robust proof reconstruction
blanchet [Wed, 28 Jul 2010 16:13:34 +0200] rev 38283
adapt to new (?) TPTP output
blanchet [Wed, 28 Jul 2010 15:53:52 +0200] rev 38282
fix remote_vampire's proof reconstruction
blanchet [Wed, 28 Jul 2010 15:34:10 +0200] rev 38281
fix proof reconstruction for latest Vampire
blanchet [Wed, 28 Jul 2010 10:45:49 +0200] rev 38280
renaming
blanchet [Wed, 28 Jul 2010 10:06:06 +0200] rev 38279
support latest version of Vampire (1.0) locally
blanchet [Wed, 28 Jul 2010 00:53:24 +0200] rev 38278
improve detection of installed SPASS
wenzelm [Wed, 28 Jul 2010 11:42:48 +0200] rev 38277
merged
wenzelm [Wed, 28 Jul 2010 00:13:26 +0200] rev 38276
explicit Keyword.control markup for various control commands -- to prevent them from occurring in proof documents;
wenzelm [Wed, 28 Jul 2010 00:03:22 +0200] rev 38275
use file names relative to master directory of theory source -- Proof General can now handle that due to the ThyLoad.add_path deception (cf. 3ceccd415145);