aboutsummaryrefslogtreecommitdiff
path: root/todo
AgeCommit message (Collapse)Author
1998-11-05completed chapter on Known bugs. However section on Isabelle ProofThomas Kleymann
General specific bugs is still missing.
1998-11-04first draft of Advanced Script Management section; I assume there willThomas Kleymann
be a handy menu item to switch to the shell buffer.
1998-11-04Added item for func-menu and proof-save-goal-with-hole-regexpDavid Aspinall
1998-11-03Added two new todosDavid Aspinall
1998-11-03Customization problems todoDavid Aspinall
1998-11-03Func menu problems, note addedDavid Aspinall
1998-11-03Added some itemsDavid Aspinall
1998-11-03minor changesThomas Kleymann
1998-11-03A* Fix display handling problems (tms, all week)Thomas Kleymann
Done. :-)
1998-11-02Added menu item todoDavid Aspinall
1998-11-02Updates, removals and additionsDavid Aspinall
1998-11-02fixed minor bugsThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
reserved for goals.
1998-10-30replaced some occurences of (current-buffer) by proof-shell-buffer toThomas Kleymann
make code more robust
1998-10-29Multiple files bug fix requestDavid Aspinall
1998-10-29Items removed, items added.David Aspinall
1998-10-28Added low-level priority todoDavid Aspinall
1998-10-28rearranged code to avoid compiler warning messagesThomas Kleymann
1998-10-27Byte comp itemDavid Aspinall
1998-10-27Made handling of multiple files more robust. On changing scriptThomas Kleymann
buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant.
1998-10-27Demoted some priorities to X and moved down listDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-27Priority changesDavid Aspinall
1998-10-27Fixed urgent message stuff. proof-shell-process-urgent-messagesDavid Aspinall
now seems to correctly observe all messages which pass through.
1998-10-27Checked through span code. Commented out dead bitsDavid Aspinall
1998-10-27Renamed proof-invisible-command proof-shell-invisible-command.David Aspinall
Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
1998-10-26*** empty log message ***Thomas Kleymann
1998-10-26UpdatedDavid Aspinall
1998-10-23WARNING message about pending changesDavid Aspinall
1998-10-23Updated todo's for isabelleDavid Aspinall
1998-10-22Added todo for clean byte compileDavid Aspinall
1998-10-22renamed fume-match-find-next-function-nameThomas Kleymann
1998-10-22fixed bug in fume-match-find-next-function-nameThomas Kleymann
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-21*** empty log message ***Thomas Kleymann
1998-10-21Added todo for save-some-buffersDavid Aspinall
1998-10-21Added code to register fully processed file. Multiple file fix list updatedDavid Aspinall
1998-10-21todos for multi files and Isabelle annotationsDavid Aspinall
1998-10-20RevertedDavid Aspinall
1998-10-20Test for new branch commitDavid Aspinall
1998-10-20Added todo for FSF Emacs info fileDavid Aspinall
1998-10-20Updated screenshot.David Aspinall
1998-10-20Screenshot is out of dateThomas Kleymann
1998-10-19reordered two itemsThomas Kleymann
1998-10-19todo for multiple files in IsabelleDavid Aspinall
1998-10-19Added todo for Isabelle multiple filesDavid Aspinall
1998-10-19Added todo for byte-compilationDavid Aspinall
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 00:23:45 +0000