OCaml Forge
SCM

File Release Notes and Changelog

Release Name: 0.9.1.2

Release Notes

now including a simple front-end command line tool

Change Log

add a simple front-end to use the simplifier as a stand-alone tool