hyper-literate/private
2017-01-20 14:01:34 +01:00
..
chunks-toc-prefix.rkt Workaround to be able to use @include-section to include several hyper-literate programs into a single document. 2016-09-30 16:30:58 +02:00
common.rkt Closes FB case 174 Fix chunk arrows in hyper-literate => use syntax-local-introduce on the value of 'disappeared-use and 'disappeared-binding 2017-01-20 14:01:34 +01:00
lp.rkt Bugfix: use (code:comment (unsyntax …)) in @chunk, and (code:comment (UNSYNTAX …)) in @CHUNK 2017-01-07 00:14:56 +01:00
no-auto-require.rkt Fixed potential conflicts with the injected (require lang). 2016-12-16 16:40:01 +01:00