User Tools
editor
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
editor [2011/05/07 12:17] 178.26.109.100 created |
editor [2011/05/07 12:20] (current) 178.26.109.100 |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| - 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// | - 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//. | - 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//. | ||
editor.1304763457.txt.gz ยท Last modified: 2011/05/07 12:17 by 178.26.109.100
Page Tools
