TWiki> PG Web>ProofGeneralEmacs>PGEmacsGoodPlatforms>PGEmacsGoodPlatformsForm (20 Aug 2006, DavidAspinall)EditAttach

Good platforms form for PG Emacs

Note: This is a maintenance topic, used by the TWiki administrator.

This form defines data entry for the table at PGEmacsGoodPlatforms.

Name Type Size Values Tooltip message Attributes
OperatingSystem checkbox 3 Linux, Solaris, Win, MacOS Operating system  
OsVersion text 16   OS version/distribution  
EmacsVersion text 32   Emacs version (use C-h C-v emacs-version RET)  
TheoremProver text 32   Theorem prover used  
Notes text 1024   Additional notes/commetns  
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 20 Aug 2006 - 14:31:10 - DavidAspinall
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies