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

Formula labels #36

Open amaletzk opened 11 years ago

amaletzk commented 11 years ago

Copying an evaluated formula-cell and pasting it somewhere else in the notebook leaves its label identical -> Different cells with the same label Even changing the label manually and evaluating the cell again does not really help: Assume we have a notebook where the largest cell-label is (5). Copy the cell with label (5) and paste it into the notebook -> new cell with label (5) -> warning Change label of new cell manually to (6) and evaluate it again -> problem solved Add new formula-cell to notebook and evaluate it -> gets label (6) (same as other cell) -> same problem as before