Sat, 19 Dec 2015 15:14:59 +0100 | wenzelm | tuned signature; | changeset | files |
Sat, 19 Dec 2015 14:47:52 +0100 | wenzelm | support for blocks with consistent breaks; | changeset | files |
Sat, 19 Dec 2015 10:59:14 +0100 | wenzelm | preserve break indentation; | changeset | files |
Thu, 17 Dec 2015 17:32:01 +0100 | wenzelm | support pretty break indent, like underlying ML systems; | changeset | files |
Sat, 19 Dec 2015 20:02:51 +0100 | blanchet | register record functions as 'Spec_Rules' | changeset | files |
Sat, 19 Dec 2015 20:02:51 +0100 | blanchet | cleaner generation of metainformation in DFG format and TPTP theory exporter for Sledgehammer | changeset | files |
Sat, 19 Dec 2015 20:02:51 +0100 | blanchet | removed subsumed dependency | changeset | files |