| Wed, 21 Aug 2013 09:25:40 +0200 |
blanchet |
new version of MaSh tool, with less broken server
|
file |
diff |
annotate
|
| Tue, 20 Aug 2013 14:36:22 +0200 |
blanchet |
new version of MaSh tool -- experimental server
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 17:55:03 +0100 |
blanchet |
updated MaSh
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 16:49:39 +0100 |
blanchet |
new version of MaSh Python component
|
file |
diff |
annotate
|
| Fri, 11 Jan 2013 16:30:56 +0100 |
blanchet |
updated MaSh Python component
|
file |
diff |
annotate
|
| Thu, 27 Dec 2012 10:01:40 +0100 |
blanchet |
new version of MaSh, with theory-level reasoning
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 00:14:58 +0100 |
blanchet |
updated version of MaSh learner engine
|
file |
diff |
annotate
|
| Sat, 08 Dec 2012 13:55:26 +0100 |
blanchet |
more changes to MaSh Python program (by Daniel K.)
|
file |
diff |
annotate
|
| Sat, 08 Dec 2012 00:48:50 +0100 |
blanchet |
more MaSh tweaking -- in particular, export the same facts in "MaSh_Export" as are later tried in "MaSh_Eval"
|
file |
diff |
annotate
|
| Thu, 06 Dec 2012 11:27:44 +0100 |
blanchet |
made Python code compile again (by Daniel K.)
|
file |
diff |
annotate
|
| Thu, 06 Dec 2012 11:25:10 +0100 |
blanchet |
added weights to MaSh (by Daniel Kuehlwein)
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 13:35:05 +0100 |
blanchet |
added file headers
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 12:04:32 +0100 |
blanchet |
moved MaSh's Python code into Isabelle
|
file |
diff |
annotate
|