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 window: size for presentations #19

Closed windsteiger closed 11 years ago

windsteiger commented 11 years ago

The size of the proof window should take into account magnification from the parent window

windsteiger commented 11 years ago

There is a new function tmaNotebookPut to be used instead of Mma NotebookPut. It uses the size of the Theorema commander.