385 reputation
139
bio website jevon.org
location New Zealand
age
visits member for 4 years
seen Oct 15 at 2:06

Sep
22
awarded  Good Question
Nov
6
awarded  Popular Question
Sep
17
awarded  Famous Question
May
13
awarded  Nice Question
Dec
10
awarded  Nice Question
Oct
4
awarded  Notable Question
May
29
awarded  Popular Question
Nov
30
awarded  Yearling
Oct
14
asked Index is incorrectly listed in the table of contents
Oct
14
revised How can I get Roman numerals in text?
style fixes of question and title
Oct
14
suggested suggested edit on How can I get Roman numerals in text?
Oct
13
comment ToC numbering problem
This also solved a problem where \addcontentsline was not adding bookmark entries in the resulting PDF, unless there was additional text after the command. Bizarre.
Oct
7
comment Grammar-checking tool for use with LaTeX?
If I'm not mistaken, doesn't that script only convert TeX into HTML-highlighted TeX, and doesn't actually compile it? e.g. \textbf{} won't become bold text in the generated HTML. I since wrote a basic script in PHP to actually compile TeX into HTML, I might release it later.
Sep
29
comment Grammar-checking tool for use with LaTeX?
And another option is available if your build process creates .ps (PostScript) files; you can use ps2ascii to translate the TeX'd output into text and play with it from there, but unfortunately this includes headers, footers and hyphenation.
Sep
29
comment Grammar-checking tool for use with LaTeX?
Rather than loading your .tex files as text, you could try and convert it into HTML, and loading the result through Word that way. Unfortunately that means you have to try and find a good LaTeX to HTML converter, which is something I can't find...
Jun
7
asked Can a table include a horizontal dashed line?
Feb
28
answered Include source text from URI (e.g., Wikipedia)
Dec
2
awarded  Scholar
Dec
2
awarded  Supporter
Dec
2
awarded  Editor