Wed, 04 Apr 2012 17:14:19 +0200 | wenzelm | tuned comments; | changeset | files |
Wed, 04 Apr 2012 14:19:47 +0200 | wenzelm | separate module for prover command execution; | changeset | files |
Wed, 04 Apr 2012 14:00:47 +0200 | wenzelm | tuned; | changeset | files |
Wed, 04 Apr 2012 10:38:04 +0200 | huffman | fix typo in ML structure name | changeset | files |
Wed, 04 Apr 2012 11:15:54 +0200 | wenzelm | removed obsolete isar-overview manual; | changeset | files |
Wed, 04 Apr 2012 10:04:25 +0100 | sultana | dealing with SMLNJ errors 'value type in structure doesn't match signature spec' (which originated from lack of type generalisation) and 'unresolved flex record' wrt tptp_interpret | changeset | files |
Wed, 04 Apr 2012 10:49:42 +0200 | bulwahn | merged | changeset | files |