search

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
71 stars 14 forks source link

Proof information broken links #42

Closed magmagithub closed 10 years ago

magmagithub commented 10 years ago

The links present in the proof information cells - pointing to the proof object and other info present in an auxiliary folder - use an absolute file path. This results in broken links if the notebook and its related auxiliary folder is later moved to a different location, for example when installing Theorema and its documentation on different computers. For example in the Session.nb the "Proof of univ" cell has links pointing to "/home/wwindste/Theorema.2/Theorema/Theorema/Documentation/English/TheoremaNotebooks/Session/p588283811-\ po.m"

I suggest to use a relative file path, using the current notebook as a root path for the auxiliary folder/files location.

windsteiger commented 10 years ago

Solved by the commit from August 13, 2014