-
Notifications
You must be signed in to change notification settings - Fork 2
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Can't compile theorem-sample (texlive 2019) #3
Comments
Thanks for the report. Both |
Hi |
It is strange, that you get error with What do you mean by SSH cloning? It is enabled on Github by default, but maybe I don't understand correctly what you want. |
ssh cloning, now the entry for ssh appears so all is good, yesterday I only saw https and cli.
I attach the log then after pressing x and recompiling no error appears |
I just saw that the same error pops up for xelatex and lualatex. so usually it would contain, theorems lemmas proofs etc, but am I soppused to have all teh renewcommand stuff as well couldn't that be moved to some where else? |
The issue with You can definitely move newcommands to a separate file. They may also be too much complicated for your use case, as they create the Graphviz graph, for example. If you want for example just list of theorems, you can use a much simpler version of the There already is one included file, included using |
>> "MH" == Michal Hoftich ***@***.***> writes:
The issue with `\mynodes` should hopefully be fixed now. It was not
initialized at the first compilation. In the subsequent compilations,
data are loaded from the `aux` file, so this error doesn't occur.
After the latest pull, indeed it seems to compile without any hassle.
You can definitely move newcommands to a separate file. They may also
be too much complicated for your use case, as they create the Graphviz
graph, for example. If you want for example just list of theorems, you
can use a much simpler version of the `\Bind` command.
A list of theorem I might obtain using ntheorem, no, I do want the graph
my interest in your package is motivated by
https://terrytao.wordpress.com/2023/02/18/would-it-be-possible-to-create-a-tool-to-automatically-diagram-papers/
I will later on write you an private email, going more into details.
regards
… There already is one included file, included using
`\inputontology{theorem-ontology.tex}`. It contains definitions of
properties that are set for theorems.
--
Warning: Content may be disturbing to some audiences
I strongly condemn Putin's war of aggression against the Ukraine.
I support to deliver weapons to Ukraine's military.
I support the ban of Russia from SWIFT.
I support the EU membership of the Ukraine.
https://addons.thunderbird.net/en-US/thunderbird/addon/gmail-conversation-view/
|
Hi
I just cloned, and tried to run make, well no documentation was generated.
I tried to compile, just in the cloned repository, for example theorem-sample.tex
(either with pdflatex, xelatex or lulatex (using texlive 2019))
But I always obtain errors I attach the log file.
the package sounds very interesting but I should compile
Uwe Brauer
theorems-sample.txt
The text was updated successfully, but these errors were encountered: