Thu, 24 May 2012 15:11:53 +0200 | blanchet | update Satallax setup based on evaluation | changeset | files |
Thu, 24 May 2012 15:03:06 +0200 | kuncar | merged | changeset | files |
Thu, 24 May 2012 14:20:25 +0200 | kuncar | drop the feature that more than one quotient type can be defined by quotient_type -> it causes problems | changeset | files |