aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Collapse)Author
2002-04-23UpdatedDavid Aspinall
2001-09-13updatedDavid Aspinall
2001-09-10Update todoDavid Aspinall
2001-09-05UpdatedDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2001-07-09TODO for proof-ass fixing added.David Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02Updated, cleaned upDavid Aspinall
2000-09-29UpdatedDavid Aspinall
2000-09-29UpdatedDavid Aspinall
2000-09-29Updated with fixes before 3.2.David Aspinall
2000-09-28phtml -> htmlDavid Aspinall
2000-09-28Generalize Isabelles atomic file scripting.David Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-23Removed:David Aspinall
X Improve efficiency for processing for large proofs (N/A) D Enable toolbar in other PG buffers (done) A Add Pierre's improvement for X-Symbol config (done) A make C-c C-l go to bottom of response buffer while output (done) B New keymap(s) for proof assistants. (done) A Add efficiency improvement by turning on/off prover output. (done) C Make the remaining options in the quick-opts-menu be more (done|N/A)
2000-09-23Changes: (actually in previous version)David Aspinall
- Undoing comments with FSF Emacs fixed (thanks to Christophe Raffalli) - C-x C-v and C-x C-w supposed fixed. - have added proof-shell-important-settings - confused (initialization) bug: assumed fixed. - proof-shell-handle-error-hook has gone - rpm relocatability improved - Added auto-autoloads - proof-goals-display-qed-message has gone - added mechanism to close goal....<nosave> goal.... sequences - Removed unimportant X's: * X Consider filtering out special annotations from shell buffer
2000-09-23UpdatedDavid Aspinall
2000-09-21done: exit isar;Makarius Wenzel
added comment about output performance;
2000-09-18UpdatedDavid Aspinall
2000-09-14UpdatedDavid Aspinall
2000-09-13UpdatedDavid Aspinall
2000-09-12UpdatedDavid Aspinall
2000-09-08UpdatedDavid Aspinall
2000-08-28adapting manual needs intro fixingDavid Aspinall
2000-08-28Added a couple of todosDavid Aspinall
2000-07-12UpdatedDavid Aspinall
2000-07-03UpdatedDavid Aspinall
2000-06-27UpdatedDavid Aspinall
2000-06-15Added new section on updates for future Emacs versionsDavid Aspinall
2000-06-09Message about packages needed (incomplete)David Aspinall
2000-06-09Bug in file colouringDavid Aspinall
2000-06-08Improved indentation code; enabled by default;Makarius Wenzel
2000-06-06todo for C-c C-l to fix pointDavid Aspinall
2000-06-05Updated.David Aspinall
2000-06-01UpdatedDavid Aspinall
2000-06-01Note about generalizing settings mechanismDavid Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-26UpdatedDavid Aspinall
2000-05-18Updated. Noted that "first line" bug is more prevalent than thought.David Aspinall
2000-05-16Updated, mentioned Solaris bug reported by Markus.David Aspinall
2000-05-12Notes about fixing docstring-magic.David Aspinall
2000-05-12UpdatedDavid Aspinall
2000-05-05UpdatedDavid Aspinall
2000-05-01Added note about new FSF bug discovered, sigh...David Aspinall
2000-04-07UpdatedDavid Aspinall
2000-04-07UpdatedDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-04-04UpdatedDavid Aspinall
2000-04-04UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:43:49 +0000