Mercurial > gui
log forms.urs
age | author | description |
---|---|---|
Tue, 20 Dec 2011 21:04:21 -0500 | Adam Chlipala | Adapt to new HTML contexts |
Tue, 21 Jun 2011 17:32:36 -0430 | Karn Kallio | Add version of warning with a format wrapper. |
Thu, 06 Jan 2011 16:45:47 -0500 | Adam Chlipala | Some help with building forms |