Mercurial > urweb
log src/source_print.sig
age | author | description |
---|---|---|
Wed, 25 Jul 2012 14:04:59 -0400 | Adam Chlipala | Allow type class instances with hypotheses via local ('let') definitions |
Tue, 01 Jun 2010 12:50:53 -0400 | Adam Chlipala | Try harder to place wildified 'con' declarations properly |
Sun, 31 Aug 2008 08:32:18 -0400 | Adam Chlipala | Laconic -> Ur |
Thu, 03 Jul 2008 17:02:42 -0400 | Adam Chlipala | XML tags with contents |
Sun, 22 Jun 2008 11:04:10 -0400 | Adam Chlipala | Parsing signature files |
Sat, 26 Jan 2008 15:29:09 -0500 | Adam Chlipala | Rename Laconic* modules to Source* base src/laconic_print.sig@d461e359560f |