Sat, 13 Jun 2015 13:18:37 +0200 | wenzelm | more examples; | changeset | files |
Sat, 13 Jun 2015 13:09:05 +0200 | wenzelm | renamed "prems" to "that"; | changeset | files |
Thu, 11 Jun 2015 22:47:53 +0200 | wenzelm | support for 'consider' command; | changeset | files |