Proof tree nodes problem

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

GNU General Public License v3.0

70 stars 14 forks source link

Proof tree nodes problem #46

Open magmagithub opened 10 years ago

magmagithub commented 10 years ago

If you have a proof tree and its proof .nb open and you click on a proof tree node, an error dialog appears, saying that the file you tried to open could not be found or opened.