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);
wenzelm [Tue, 27 Jul 2010 23:25:50 +0200] rev 38274
simplified handling of update_time -- do not store within deps;