testboard: Changelog

wenzelm [Thu, 11 Mar 2010 23:45:41 +0100] rev 35717

more basic Local_Defs.export_cterm;

wenzelm [Thu, 11 Mar 2010 23:07:12 +0100] rev 35716

tuned signature;

wenzelm [Thu, 11 Mar 2010 23:07:02 +0100] rev 35715

tuned;

wenzelm [Thu, 11 Mar 2010 18:52:50 +0100] rev 35714

actually apply morphism to binding;

wenzelm [Thu, 11 Mar 2010 16:56:22 +0100] rev 35713

absolute lib_path relative to ML_HOME -- for improved robustness; explicit warning if shared library failed to load;

blanchet [Thu, 11 Mar 2010 15:33:45 +0100] rev 35712

added a mechanism to Nitpick to support custom rendering of terms, and used it for multisets

blanchet [Thu, 11 Mar 2010 12:22:11 +0100] rev 35711

added term postprocessor to Nitpick, to provide custom syntax for typedefs

blanchet [Thu, 11 Mar 2010 10:13:24 +0100] rev 35710

made "Manual_Nits" tests more robust

haftmann [Thu, 11 Mar 2010 09:09:51 +0100] rev 35709

merged

haftmann [Thu, 11 Mar 2010 09:09:43 +0100] rev 35708

made smlnj happy

testboard