When opening (at the very least though a quick survey shows this exists in other files) Documentation/English/TheoremaNotebooks/FirstTour.rb, I cannot view any of the inline proofs as they all point to "/home/wwindste/Theorema.2/Theorema/Theorema/Documentation/English/TheoremaNotebooks/..." which doesn't exist on my computer (and it's Windows so it's sort of a pain to get this to work).
Would be beneficial if they (and other places using absolute paths) used something like:
FileNameJoin[{NotebookDirectory[], "FirstTour", "..."}]
Changing the other arguments as necessary
When opening (at the very least though a quick survey shows this exists in other files) Documentation/English/TheoremaNotebooks/FirstTour.rb, I cannot view any of the inline proofs as they all point to "/home/wwindste/Theorema.2/Theorema/Theorema/Documentation/English/TheoremaNotebooks/..." which doesn't exist on my computer (and it's Windows so it's sort of a pain to get this to work).
Would be beneficial if they (and other places using absolute paths) used something like:
FileNameJoin[{NotebookDirectory[], "FirstTour", "..."}]Changing the other arguments as necessary