[asldoc] Prototype translation to HML of ASL Reference #1656
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
maranget
force-pushed
the
doc-to-html
branch
2 times, most recently
from
c382bd8 to
f6c332c
Compare
Prerequsite : install hevea (hevea.inria.fr) preferably from sources.
This attempt is very preliminary
1. Separation of latex and hevea configuration can be better.
Using \usepackage with .sty and .hva versions would
yield better control.
2. They are many warnings to fix.
3. Rendering of maths is bad.
Plus...
We only run the first iteration of hevea, using the new option `-fix0`.
Authored-by: Hrutvik Kanabar <[email protected]>
The local version typeset premises and conclusions in a TR element with `middle` vertical-align property, resulting in better rendering.
Prefixing the mathpartir "spacing" \\ and \\\\ commands with \hva breaks the flow of premises, resulting in narrower lines.
Replace some TeX code by more LaTeX-like source for the sake or hevea compatibility.
Now, `sh zyva.sh fix` iterates hevea until fixpoint!
Avoid "A" elements with complex (_i.e._ table related) contents.
\overname calls \overbracked whose rendering as inline is not achieveble simply. Replace by a combination of `text-decoration:overline` and `vertical-align:1.5em`.
Normaly those underscores (inside a \label argument) should not trigger a warning. Fix hevea, remove those underscor as a workaround.
We render `\xrightarrow{lbl}` as `-(lbl)->`.
Notice: temporary hack, to be replaced by a better hevea implementation of the 'fancyvrb' package.
Spaces are significant to hevea in math mode. This we avoid emitting too many spaces.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Prerequsite : install hevea (hevea.inria.fr) preferably from sources.
Then run
sh ./zyva.shinasllib/doc, this will produce a html version of ASL reference in the sub-directoryHTML.This attempt is very preliminary
Plus...