2012-05-13 |
Adam Chlipala |
Fix hyphenation for demos; parse CSS class 'table' as 'tabl' |
2012-05-02 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
2012-04-22 |
Adam Chlipala |
'linker' .urp directive |
2011-11-25 |
Adam Chlipala |
Support 'safeGet' in demos |
2011-05-29 |
Adam Chlipala |
getHeader and setHeader |
2010-12-11 |
Adam Chlipala |
minHeap option in .urp files |
2010-09-30 |
Adam Chlipala |
Demo improvements |
2010-09-07 |
Adam Chlipala |
Server-side 'onError' |
2010-03-09 |
Adam Chlipala |
safeGet |
2010-02-27 |
Adam Chlipala |
benignEffectful |
2010-02-11 |
Adam Chlipala |
sigfile directive |
2010-02-07 |
Adam Chlipala |
Remove debug prints |
2010-02-06 |
Adam Chlipala |
Allow .urp files without initial blank lines |
2009-12-16 |
Adam Chlipala |
Especialize uses a termination measure based on number of arguments introduced |
2009-11-26 |
Adam Chlipala |
More fun with cookies |
2009-09-15 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
2009-07-18 |
Adam Chlipala |
More command-line options |
2009-06-28 |
Adam Chlipala |
Start of multi-DBMS support |
2009-06-27 |
Adam Chlipala |
.msgs processing in FastCGI |
2009-05-03 |
Adam Chlipala |
upload demo |
2009-05-03 |
Adam Chlipala |
url demo |
2009-05-03 |
Adam Chlipala |
constraints demo |
2009-05-02 |
Adam Chlipala |
allow/deny working in Mono_opt |
2009-05-02 |
Adam Chlipala |
Path rewriting |
2009-05-02 |
Adam Chlipala |
More FFI compiler options |
2009-05-02 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
2009-04-30 |
Adam Chlipala |
C FFI compiler options |
2009-03-24 |
Adam Chlipala |
Variable timeouts and client keep-alive |
2008-11-20 |
Adam Chlipala |
Profiling support |
2008-11-20 |
Adam Chlipala |
Some demo improvements |
2008-10-21 |
Adam Chlipala |
Sql demo |
2008-10-19 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
2008-10-19 |
Adam Chlipala |
Building combined demo app |
2008-10-19 |
Adam Chlipala |
Small demo prettifications |
2008-10-19 |
Adam Chlipala |
Generating fontified source files |
2008-10-19 |
Adam Chlipala |
Generating urp HTML |
2008-10-19 |
Adam Chlipala |
Demo HTML generation, minus source code |