search

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

Stylesheet problem #35

Closed amaletzk closed 11 years ago

amaletzk commented 11 years ago

Problem: I created a new Theorema notebook using the "new" button in the Theorema Commander -> everything worked fine. I saved and closed the notebook -> still everything fine. I opened it again NOT via the "open" button in the Commander (but via "Run As -> Mathematica" in Workbench) -> Message:

The stylesheet "" depends upon a stylesheet named "Theorema/TheoremaCore.nb" which cannot be found by Mathematica.

The result is a notebook that looks very similar but not identical to what it should look like, and also the formulae cannot be evaluated any more (shift+enter just adds new line). If I open the same notebook via the "open" button in the Commander, everything works fine again.

windsteiger commented 11 years ago

This is a workbench issue, Mma does not find the included stylesheet "Theorema/TheoremaCore.nb". Go to Project -> Properties -> Mathematica -> Project Paths -> Stylesheets: Add "Theorema/FrontEnd/StyleSheets"