Mercurial > urweb
annotate src/config.sig @ 1493:9cb923efea4d
Generated pretty-printed HTML for a simple tutorial source file
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 15 Jul 2011 16:50:55 -0400 |
parents | 3d0cc841cafd |
children | b5517f47b1f1 |
rev | line source |
---|---|
adamc@378 | 1 signature CONFIG = sig |
adamc@378 | 2 val bin : string |
adamc@378 | 3 val lib : string |
adamc@378 | 4 val includ : string |
adamc@378 | 5 val sitelisp : string |
adamc@378 | 6 |
adamc@378 | 7 val libUr : string |
adamc@378 | 8 val libC : string |
adamc@569 | 9 val libJs : string |
adamc@435 | 10 |
adam@1474 | 11 val ccompiler : string |
adamc@435 | 12 val gccArgs : string |
adam@1368 | 13 val openssl : string |
adam@1464 | 14 |
adam@1464 | 15 val pgheader : string |
adam@1464 | 16 val msheader : string |
adam@1464 | 17 val sqheader : string |
adamc@378 | 18 end |