Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | honor the TPTP environment variable as the root of include relative paths -- that's a weird convention but without it Nitrox will fail at CASC | changeset | files |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | better temp name creation for Nitrox -- still very hackish though, but should get us through CASC-23 and CASC-J6 | changeset | files |