suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity
30ae71202d
hyper-literate/scribble-lib/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 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
elsarticle Adding elsarticle 2016-06-16 16:37:07 -04:00
jfp fix scribble/jfp 2016-05-28 02:32:40 -05:00
lncs Remove extra directories. 2014-12-02 00:54:52 -05:00
lp/lang scribble/lp2: strip code:comment, etc. 2015-12-30 07:22:15 -06:00
manual Remove extra directories. 2014-12-02 00:54:52 -05:00
private Fix use of namespace-require that can create conflicts 2016-08-01 13:23:24 -06: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 improve rendering of titles with empty numbers 2016-08-13 12:45:50 -06:00
base.rkt fix references lifted to table of contents 2016-10-01 10:51:18 -06:00
basic.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
blueboxes.rkt convert blueboxes.rkt to typed racket 2015-07-11 09:53:54 -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 add (hopefully correct) missing case to the contract/bluebox renderer 2016-03-17 09:08:43 -05:00
core.rkt add make-numberer to generalize section numbering 2016-01-09 20:21:18 -07: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 rely on syntax objects preserving source locations 2015-12-09 17:24:20 -07:00
doclang2.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
eval.rkt examples: avoid generating an empty nested table for empty output 2016-08-05 09:25:37 -06:00
example.rkt move scribble/examples to scribble/example 2015-12-18 06:28:27 -07:00
examples.rkt move scribble/examples to scribble/example 2015-12-18 06:28:27 -07:00
extract.rkt fix more problems with a generated doc submodule 2015-07-16 08:40:04 -06: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 fix references lifted to table of contents 2016-10-01 10:51:18 -06: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 Allow for manipulating scribble.tex imports 2016-01-09 11:48:21 -06:00
latex-render.rkt Add missing character to the table. 2016-08-25 09:53:19 -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
lp2.rkt add scribble/lp2 2014-12-15 18:05:14 -07: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 Add language-index-desc and reader-index-desc 2016-07-08 17:56:35 -04: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 add make-numberer to generalize section numbering 2016-01-09 20:21:18 -07: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 racketblock: add "#i" to an inexact number to match source span 2015-02-21 14:12:38 -07: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 Fix typo in CLI help (speficic -> specific) 2015-10-02 11:32:40 -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-load-replace.tex Allow for manipulating scribble.tex imports 2016-01-09 11:48:21 -06:00
scribble-load.tex Allow for manipulating scribble.tex imports 2016-01-09 11:48:21 -06: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 Allow for manipulating scribble.tex imports 2016-01-09 11:48:21 -06:00
search.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
sigplan.rkt scribble/sigplan: add to-appear 2015-11-23 12:22:31 -07:00
srcdoc.rkt fix more problems with a generated doc submodule 2015-07-16 08:40:04 -06:00
struct.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
tag.rkt add some tag predicates and tag manipulation functions 2015-04-15 03:39:32 -05:00
text-render.rkt add make-numberer to generalize section numbering 2016-01-09 20:21:18 -07:00
urls.rkt Remove extra directories. 2014-12-02 00:54:52 -05:00
valid-blueboxes-info.rkt convert blueboxes.rkt to typed racket 2015-07-11 09:53:54 -05:00
xref.rkt fix error message 2016-05-27 14:00:59 -05:00