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

GUI: applicable global declarations #30

Closed windsteiger closed 10 years ago

windsteiger commented 11 years ago

The GUI window "session/inspect" should show the applicable global declarations at the cursor's position. Shows "None" always.

windsteiger commented 10 years ago

Solved, cannot recall what was the problem.