src/HOL/Tools/Sledgehammer/MaSh/src/server.py
Fri, 04 Oct 2013 09:46:08 +0200 blanchet more robustness in MaSh
Tue, 01 Oct 2013 14:40:25 +0200 blanchet new version of MaSh that really honors the --port option and that checks for file name mismatches
Fri, 27 Sep 2013 17:39:34 +0200 blanchet fixed one line that would never have compiled in a typed language + release the lock in case of exceptions
Mon, 23 Sep 2013 09:08:07 +0200 blanchet new version of MaSh program, with proper shutdown
Thu, 12 Sep 2013 10:35:33 +0200 blanchet commented out code parts leading to runtime errors due to missing gensim module
Thu, 12 Sep 2013 09:59:45 +0200 blanchet new version of MaSh
Thu, 22 Aug 2013 08:42:27 +0200 blanchet minor tweaks to MaSh tool
Wed, 21 Aug 2013 09:25:40 +0200 blanchet new version of MaSh tool, with more server bugfixes
Wed, 21 Aug 2013 09:25:40 +0200 blanchet new version of MaSh tool, with less broken server
Tue, 20 Aug 2013 14:36:22 +0200 blanchet new version of MaSh tool -- experimental server
less more (0) tip