search

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is
http://ontoiop.org
7 stars 1 forks source link

correct latex-diff output #272

Closed tillmo closed 9 years ago

tillmo commented 9 years ago

with

latexdiff-git -r 2e94c79 --force --exclude-textcmd="section,subsection" OMG_OntoIOp_current.tex

we get some useful diff showing the difference w.r.t. to the August 24 version. However, a textual diff

git diff 2e94c79

shows e.g.

+\termdefinition{infrastructure axiom}{axiom that is used in the
+target of a logic translation in order to encode a signature
+of the source logic}
+\begin{example}
+ The translation from OWL to multi-sorted first-order logic translates
+ each OWL built-in type to its first-order axiomatization as a
+ datatype. These first order axioms are infrastructure axioms.
+\end{example}

and this paragraph is only partially marked blue in the latex diff.

Maybe this is related to the lots of errors that latex-diff outputs.

tillmo commented 9 years ago

deadline: Mon, Nov 2

tillmo commented 9 years ago

I suggest to try the latest version of latex-diff (I tried the one shipped with Ubuntu Trusty, which is probably not the newest one).

SillyCodeValley commented 9 years ago

When writing a latexdiff-git command, you need to add one more argument:

latexdiff-git -r 2e94c79 --force --exclude-textcmd="section,subsection" --append-textcmd="termdefinition" OMG_OntoIOp_current.tex

This will solve the problem mentioned above.

I am still working on the highlight problems related to lstlisting and math environment.

tillmo commented 9 years ago

could you please let the input and the output file be parameters of the python script? Then we can more easily adapt to a new base git revision in the (near) future.

SillyCodeValley commented 9 years ago

Hello Till,

Sorry I saw your message late.... I have made the changes....

Bests Madhura

On Wed, Nov 4, 2015 at 11:24 PM, Till Mossakowski notifications@github.com wrote:

could you please let the input and the output file be parameters of the python script? Then we can more easily adapt to a new base git revision in the (near) future.

— Reply to this email directly or view it on GitHub https://github.com/tillmo/DOL/issues/272#issuecomment-153888323.

tillmo commented 9 years ago

please check in the new script