Wed, 06 Jun 2012 23:28:22 +0300 | Oleksandr Gavenko | Disable shown consts in *goal* buffer. | changeset | files |
Wed, 06 Jun 2012 23:26:29 +0300 | Oleksandr Gavenko | Add info to remember. | changeset | files |
Sat, 02 Jun 2012 22:30:07 +0300 | Oleksandr Gavenko | Define key binding to send paragraph to SML process. | changeset | files |