Tue, 17 Dec 2013 14:03:29 +0100 | blanchet | primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype) | changeset | files |
Tue, 17 Dec 2013 11:12:10 +0100 | immler | NEWS | changeset | files |
Tue, 17 Dec 2013 09:52:10 +0100 | immler | merged | changeset | files |