aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
...
* Updated. Long standing pty overflow bug fixed. We registration page wanted.Gravatar David Aspinall1999-01-21
* todo for testing solaris bug fixGravatar David Aspinall1999-01-15
* Added todo for licence clarification after query from a user.Gravatar David Aspinall1999-01-15
* Web page links to Proof General from provers now added.Gravatar David Aspinall1999-01-15
* added links from LEGO Web pageGravatar Thomas Kleymann1999-01-13
* Raised priority of Solaris bug/problem.Gravatar David Aspinall1999-01-12
* Added todo for simplifying main download page, linking to pre-release.Gravatar David Aspinall1998-12-17
* Note about texinfo menu update.Gravatar David Aspinall1998-12-16
* Todo for putting Info somewhere good in the dir.Gravatar David Aspinall1998-12-16
* Made outstanding bugs we haven't investigated a single A item.Gravatar David Aspinall1998-12-16
* Removed all urgent TODOs for 2.0Gravatar David Aspinall1998-12-16
* Removed suspected bug mentioned by David von O. Now assumed toGravatar David Aspinall1998-12-16
* Removed done stuff. Added LEGO cd hook todo.Gravatar David Aspinall1998-12-15
* Fixes for FSF Emacs handling of processes, kill buffer hooks,Gravatar David Aspinall1998-12-15
* More comments about multiple file problemsGravatar David Aspinall1998-12-11
* Urgent fix for multiple files wanted.Gravatar David Aspinall1998-12-11
* todo for Isabelle multiple files.Gravatar David Aspinall1998-12-11
* UpdatesGravatar David Aspinall1998-12-11
* Added some items after user feedback. Also some *** probs.Gravatar David Aspinall1998-12-11
* Added A*** for documentation, X for ChangeLog in devel distrib.Gravatar David Aspinall1998-12-08
* Added new todos for LEGO.Gravatar David Aspinall1998-12-05
* Added note about final things to do for 2.0Gravatar David Aspinall1998-11-26
* Added note about bugs elsewhere. Display issues. Tech rep todosGravatar David Aspinall1998-11-26
* Added 20.3 version of FSF Emacs and todo for each release.Gravatar David Aspinall1998-11-25
* Updated. Added item for process early exiting.Gravatar David Aspinall1998-11-25
* note about incomplete goal..save sequences.Gravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Updated.Gravatar David Aspinall1998-11-25
* UpdatesGravatar David Aspinall1998-11-25
* Start of urgent messagesGravatar David Aspinall1998-11-20
* Added some suggestions from Markus WenzelGravatar David Aspinall1998-11-20
* More re-ordering to move important stuff up the listGravatar David Aspinall1998-11-12
* Note about atrocious performance of proof-sement-up-to, even when compiled.Gravatar David Aspinall1998-11-12
* Reorganized.Gravatar David Aspinall1998-11-12
* Fixed bug with find-next-terminator.Gravatar David Aspinall1998-11-12
* Added note about removing proof-goal-command-pGravatar David Aspinall1998-11-12
* Added X idea for using indirect buffers.Gravatar David Aspinall1998-11-10
* Removed references of proof-shell-noise-regexpGravatar Thomas Kleymann1998-11-10
* documented problem with Discharge in LEGOGravatar Thomas Kleymann1998-11-10
* Refresh response buffer when goals buffer is refreshed.Gravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* Added proof-rsh-command to help complete documentation (was allocatedGravatar David Aspinall1998-11-09
* Added proof-script-indent user option, to enable indentation code.Gravatar David Aspinall1998-11-09
* Reduced a priority. Added release todoGravatar David Aspinall1998-11-09
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* first draft of Advanced Script Management section; I assume there willGravatar Thomas Kleymann1998-11-04
* Added item for func-menu and proof-save-goal-with-hole-regexpGravatar David Aspinall1998-11-04
* Added two new todosGravatar David Aspinall1998-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 07:52:39 +0000