| Thu, 23 Oct 2008 18:45:10 -0400 |
Adam Chlipala |
Crud2 demo |
| Thu, 23 Oct 2008 14:03:12 -0400 |
Adam Chlipala |
Metaform demos, minus prose |
| Tue, 21 Oct 2008 19:24:39 -0400 |
Adam Chlipala |
Sum demo, minus inference of {Unit}s |
| Sun, 12 Oct 2008 11:50:21 -0400 |
Adam Chlipala |
top.urs indents and type-checks with new twiddle syntax |
| Sat, 04 Oct 2008 15:50:28 -0400 |
Adam Chlipala |
Merge CDisjoint and TDisjoint |
| Sun, 14 Sep 2008 19:03:55 -0400 |
Adam Chlipala |
Crud update form |
| Sun, 14 Sep 2008 15:10:04 -0400 |
Adam Chlipala |
Crud supports INSERT |
| Sat, 13 Sep 2008 20:04:28 -0400 |
Adam Chlipala |
Crud gets column headings |
