Release v4.3.2 created by Dirk Roorda on 31 May 2018, 13:51:22 UTC
New minor release 4.3.2 : parents in quantifiers; names as atoms
Target: df244d89dd1006fb3ce6bea78e144271347c6bf7
Directory: 617d2d294c747a0c0f7173c8aa28f4beff575b14
back to top