Menu

#17 interaction with the prover

closed-works-for-me
None
5
2009-07-14
2009-07-14
Anonymous
No

When you add an hypothesis (ah) containing a parse error you have to type it again?
Is there a way to avoid typing again the whole text from the beginning?

Discussion

  • Laurent Voisin

    Laurent Voisin - 2009-07-14
    • labels: 817327 -->
    • status: open --> closed-works-for-me
     
  • Laurent Voisin

    Laurent Voisin - 2009-07-14

    At the bottom of the view, just below the input area, there is a combo box that contains all information that has been entered previously in the input area. So, you can retrieve your faulty predicate there and then fix it in the input area without typing it again.

     

Log in to post a comment.