Thu, 06 Jan 2011 12:31:13 -0500 |
Adam Chlipala |
Expand valueish again |
Thu, 06 Jan 2011 09:25:15 -0500 |
Adam Chlipala |
Broaden definition of valueish |
Thu, 06 Jan 2011 09:14:06 -0500 |
Adam Chlipala |
Detect missing 'database' directive; don't compile garbage C files |
Thu, 06 Jan 2011 08:55:53 -0500 |
Adam Chlipala |
Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded types in the manual |
Mon, 03 Jan 2011 14:19:36 -0500 |
Adam Chlipala |
Remove unnecessary #include (patch from Karn Kallio) |
Sun, 02 Jan 2011 11:40:08 -0500 |
Adam Chlipala |
Add a note about Explify to the manual |
Thu, 30 Dec 2010 12:48:08 -0500 |
Adam Chlipala |
Fix jsifyTime to work on 32-bit systems |
Thu, 30 Dec 2010 12:27:19 -0500 |
Adam Chlipala |
Fix new urlifyTime to work properly on 32-bit systems |