GUI: applicable global declarations
windsteiger opened this issue · comments
The GUI window "session/inspect" should show the applicable global declarations at the cursor's position. Shows "None" always.
Solved, cannot recall what was the problem.
windsteiger / Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica