Otherwise, the width of a pict is implicitly rounded up, since
the PDF bounding box is an integer.
original commit: 4735666cd9a3a5de4e40202b23a9d8da034ef22e
There's no particular reason that any one format will have all
the information that other formats need, but it conveniently works
for now that HTML info can subsume Latex info.
original commit: a1fd742ed022035732b4a0c778168cc6b862933a
This turned out to be a bad idea. The thing is that some resources need
to be referred to in multiple ways -- for example, different texts in
links of different kinds, or using the URL directly in some cases. The
existence of `get-resource-path' is a witness for this problem, since it
was used for such cases -- this function is removed as well.
There's no point in trying to generalize this here: instead, go back to
a simpler system where a resource always returns its URL (with an
optional argument to get an absolute URL). When a `referrer'
functionality is needed, build it on top of that, in a place where it
makes more sense. (That is, in a specific code for generating content,
where there could be a decision that resources have plain links and also
a very short link for use in navbars.) Otherwise, it's usually simpler
to just define resources and referrers separately (as different
bindings, the latter uses the former).
original commit: 180651d04d554bb29a6128dd66a292d354140535
Rename `read-intern-literal' to `datum-intern-literal'.
Interning is needed only in `read-syntax' or `datum->syntax' to
set up the invariants that the bytecode compiler needs for cross-module
optimization. When `read'ing numbers from a data file, meanwhile,
interning slows things down a lot and doesn't seem worthwhile.
original commit: ee775c3cc3088a8de848399b3c1eec97bbc52b89
The value isn't used; a 'dep tag is ony to establish
dependencies, and the relevant value is with a 'form or
'def tag. Avoiding the extra value saves another 5% in
cross-reference files.
original commit: 28ee1570ae2ac68007af5798b5964a859ffcb49b
This change saves a small amount of space in cross-reference files
and some space in loaded cross-reference information.
It also saves work converting strings to mutable on deserialize,
although the performance difference seems negligible.
original commit: b2fade9206590173e4c2e346357ad13150525387
In @defform*[#:id x1 [(qqq x1)]], for example, `#:id x1' needs to
calcel the default treatment of `x1' within `(qqq x1)' as
a metavariable, while treating `qqq' as a meta-variable.
original commit: 7d2914fc8a8f2647605da1d6699d0bc54685a5f3
The renderer was using symbol style names as command names, but only
strings should be treated that way.
original commit: 0f5b53d3498f857920ff7fa438269727553dc058
instead of copying the file into place. This makes Lion's Preview happier (specifically
it now recognizes the file as a revision of the old one and updates itself instead of
treating it as a new file and opening a second window)
original commit: f9e1c41cb0a7f84766207d7a092443dbb5a17e1c
