des@inmos.co.uk (David Shepherd) (02/07/89)
I need a very basic editor to record actions used in a theorem prover session. Basically I'd run the editor in one window and the theorem prover in another and cut and paste commands, tactics etc between them to build up a command file to replicate the session. All the editor needs is cursor movement, file io and character insertion. Searching and replacing aren't really essential (!). Anything fancy like multiple fonts, picture inclusion are totally superfluous! Notepad works fine except (1) it only copes with 16k files. It gets *real* slow when it has 10k+ data in it (!). Does anyone know of any other editors/notepads available that might fill this need ??? If so please tell me! david shepherd INMOS ltd