This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
editor [2011/05/07 12:13] 178.26.109.100 created |
editor [2011/05/07 12:20] (current) 178.26.109.100 |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== External References ===== | + | ====== Editor ====== |
- | Put here some links to other documentation sources that can be useful. | + | Here you'll find useful information on how to use and configure the editor that comes with iH: the General. |
- | * For a list of pre-defined symbols in Isabelle/HOL see Appendix B of [[http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/isar-ref.pdf|this document.]] Useful when the set of UNICODE characters is not available. | + | ===== 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__ | |
- | * Presentation of Sheet 2 can be found [[https://docs.google.com/present/view?id=dhqv6v76_94dghtz9ct&interval=60|here]]. | + | |
+ | ===== 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//. |