suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity
2f3e989cf5
hyper-literate/scribble-lib/scribble
History
Matthew Flatt 2f3e989cf5 repair quadraic behavior for a Scribble document's top level 
The recursive macro used by `#%module-begin` had a `...` in a pattern
that only matches once, but the match is attempted every time around,
and the `...` list accumulated the body of the module.

Thanks to Shriram Krishnamurthi for reporting the problem.
2014-12-12 08:25:58 -07:00
..
base Remove extra directories. 2014-12-02 00:54:52 -05:00
book Remove extra directories. 2014-12-02 00:54:52 -05:00
doc Remove extra directories. 2014-12-02 00:54:52 -05:00
jfp Remove extra directories. 2014-12-02 00:54:52 -05:00
lncs Remove extra directories. 2014-12-02 00:54:52 -05:00
lp/lang Remove extra directories. 2014-12-02 00:54:52 -05:00
manual Remove extra directories. 2014-12-02 00:54:52 -05:00
private Remove extra directories. 2014-12-02 00:54:52 -05:00
report Remove extra directories. 2014-12-02 00:54:52 -05:00
sigplan Remove extra directories. 2014-12-02 00:54:52 -05:00
base-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
base.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
basic.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
blueboxes.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
bnf.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
comment-reader.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
config.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
contract-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
core.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
decode-struct.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
decode.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
doc.txt Remove extra directories. 2014-12-02 00:54:52 -05:00
doclang.rkt repair quadraic behavior for a Scribble document's top level 2014-12-12 08:25:58 -07:00
doclang2.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
eval.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
extract.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
HISTORY.txt Remove extra directories. 2014-12-02 00:54:52 -05:00
html-properties.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
html-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
info.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
jfp.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
latex-prefix.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
latex-properties.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
latex-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
lp-include.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
lp.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-fonts.css Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-prefix.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-racket.css Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-racket.js Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-struct.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-style.css Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-style.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
manual.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
markdown-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
pdf-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
provide-doc-transform.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
racket.css Remove extra directories. 2014-12-02 00:54:52 -05:00
racket.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
racket.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
render-struct.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
run.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
scheme.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-common.js Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-prefix.html Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-prefix.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-skull.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-style.css Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-style.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble.css Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
search.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
sigplan.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
srcdoc.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
struct.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
tag.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
text-render.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
urls.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
xref.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00