Isabelle/HOL Support Wiki

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Editor ======

Here you'll find useful information on how to use and configure the editor that comes with iH: the General.

===== Navigation =====
  - To run a certain program, just press __C-c C-n__ and it will just start from the beginning. To advance one statement, press __C-c C-n__ again. To go one step before, press __C-c C-u__

===== Editor Configuration =====

  - Is useful when executing, to set the editor to the 3 pane view. On the last version of the General, you can achieve this via //Proof-General > Options > Display > Use Three Panes//
  - If you are used to the //normal// copy and paste shortcuts from other editors, you can enable them in the options menu //Options > C-x/C-c/C-v Cut and Paste (CUA)//. Be sure to then also save your config using //Options > Save Options//.
  - You might also want to change the color your theory has when it is accepted by Isabelle/HOL. To do this go to //Proof-General > Advanced > Customize > Proof Faces > Proof Locked Face//. There you can change the color under //Background// and then save it using //Save for future sessions//.

Isabelle/HOL Support Wiki

User Tools

Site Tools

Page Tools