Wed, 06 Jun 2012 23:28:41 +0300 | Oleksandr Gavenko | merged | changeset | files |
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 |