Thu, 11 Mar 2010 16:56:22 +0100 | wenzelm | absolute lib_path relative to ML_HOME -- for improved robustness; | changeset | files |
Thu, 11 Mar 2010 15:33:45 +0100 | blanchet | added a mechanism to Nitpick to support custom rendering of terms, and used it for multisets | changeset | files |
Thu, 11 Mar 2010 12:22:11 +0100 | blanchet | added term postprocessor to Nitpick, to provide custom syntax for typedefs | changeset | files |