Mercurial > urweb
diff src/elab.sml @ 1522:4d0b80dd4c37
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 02 Aug 2011 14:31:37 -0400 |
parents | 5337adf33a4a |
children | 6c00d8af6239 |