changeset | a1a1d66aebac |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Change <radio> to yield [option string] |
files |
changeset | 71bafe66dbe1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Laconic -> Ur |
files |