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 |