suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity
724b522f3b
hyper-literate/scribble-doc/scribblings/scribble
History
Matthew Flatt 30ae71202d fix references lifted to table of contents 
Certain lifted reference forms carried the prefix of the original
section, but in general the section needs to be similarly carried for
rendering elements that may contain references.

Also, fix the contract on `elemref` and `elemtag` to use
`taglet?` instead of `tag?`.

Thanks to Dupéron Georges.
2016-10-01 10:51:18 -06:00
..
base.scrbl fix references lifted to table of contents 2016-10-01 10:51:18 -06:00
basic.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
blueboxes.scrbl add some missing docs and @history annotations from commits e6630f0e9 and 39e0f6aec 2015-04-17 05:47:28 -05:00
bnf.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
book.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
class-diagrams.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
compat.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
config.scrbl setup-plt -> raco setup 2016-08-24 15:27:58 -05:00
core.scrbl setup-plt -> raco setup 2016-08-24 15:27:58 -05:00
decode.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-class.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-m1.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-m2.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-manual-m1.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-manual-m2.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-manual-s1.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-manual-s2.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-manual.scrbl scribble/eval: add eval:error and logging of other exceptions 2015-12-10 08:33:00 -07:00
demo-s1.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo-s2.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
demo.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
doclang.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
docreader.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
eval.scrbl move scribble/examples to scribble/example 2015-12-18 06:28:27 -07:00
examples.scrbl move scribble/examples to scribble/example 2015-12-18 06:28:27 -07:00
generic.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
getting-started.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
how-to-paper.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
how-to.scrbl fix typo in how-to 2016-03-04 16:41:35 -05:00
html.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
inbox.css Remove extra directories. 2014-12-02 00:54:52 -05:00
inbox.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
info.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
internals.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
jfp.scrbl scribble/jfp: affiliation-mark example 2016-07-11 14:53:30 -04:00
layers.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
lncs.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
lp-ex-doc.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
lp-ex.rkt add scribble/lp2 2014-12-15 18:05:14 -07:00
lp.css Remove extra directories. 2014-12-02 00:54:52 -05:00
lp.scrbl scribble/lp2: strip code:comment, etc. 2015-12-30 07:22:15 -06:00
lp.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
manual-stub.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
manual.scrbl Add doc examples for history form 2016-07-21 13:50:01 -04:00
plt.scrbl add scribble/examples 2015-12-11 11:54:07 -07:00
reader-internals.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
reader.scrbl fix terminilogy: "Scribble" vs. "@-form" 2015-04-28 10:12:11 -06:00
renderer.scrbl Extend special characters using a function rather than a dict. 2016-08-24 16:14:03 -05:00
report.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
running.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
scheme.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble-pp.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
scribble.scrbl Change link to scribble doc sources 2014-12-10 22:53:34 -05:00
shaded.css Remove extra directories. 2014-12-02 00:54:52 -05:00
shaded.tex Remove extra directories. 2014-12-02 00:54:52 -05:00
sigplan.scrbl scribble/sigplan: add to-appear 2015-11-23 12:22:31 -07:00
srcdoc.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
struct-hierarchy.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
struct.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
style.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00
tag.scrbl add some missing docs and @history annotations from commits e6630f0e9 and 39e0f6aec 2015-04-17 05:47:28 -05:00
text.scrbl Two bugfixes. 2015-05-11 16:44:44 -06:00
utils.rkt add scribble/examples 2015-12-11 11:54:07 -07:00
xref.scrbl Remove extra directories. 2014-12-02 00:54:52 -05:00