Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | updated NEWS | changeset | files |
Wed, 06 Jan 2016 13:04:30 +0100 | blanchet | more complete setup for 'Rat' in Nitpick | changeset | files |
Wed, 06 Jan 2016 11:45:07 +0100 | wenzelm | more systematic treatment of dynamic facts, when forming closure; | changeset | files |