Thu, 09 Dec 2010 13:44:57 -0500 |
Adam Chlipala |
Fixes added while proofreading JFR camera-ready |
Wed, 10 Nov 2010 16:34:46 -0500 |
Adam Chlipala |
New release |
Wed, 10 Nov 2010 16:31:04 -0500 |
Adam Chlipala |
A pass of double-quotes and LaTeX operator beautification |
Wed, 10 Nov 2010 15:42:05 -0500 |
Adam Chlipala |
PC comments for DeBruijn |
Wed, 10 Nov 2010 15:37:01 -0500 |
Adam Chlipala |
PC comments for FirstOrder |
Wed, 10 Nov 2010 15:00:37 -0500 |
Adam Chlipala |
PC comments on Reflection and Large |
Wed, 10 Nov 2010 14:46:27 -0500 |
Adam Chlipala |
PC comments for Match |
Wed, 10 Nov 2010 14:05:00 -0500 |
Adam Chlipala |
PC-inspired Universes tweaks |