aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* Removed proof shell kill bugGravatar David Aspinall1999-06-15
* Added todo for XEmacs packaging, reordered.Gravatar David Aspinall1999-06-07
* Downrated Poly/ML related item since Poly is defunct.Gravatar David Aspinall1999-06-07
* todo for reorganizing menus.Gravatar David Aspinall1999-05-11
* Merged changes sent by Patrick Loiseleur.Gravatar David Aspinall1999-04-07
* Idea for proof-auto-retract, notes about proof-strict-read-onlyGravatar David Aspinall1999-03-08
* Updated. Explained Coq syntax prob for proof-goal-command-pGravatar David Aspinall1999-02-22
* Idea to have a mailing list for PG.Gravatar David Aspinall1999-02-01
* Fixed matching. Added todo for making some code more generic.Gravatar David Aspinall1999-02-01
* Added TODO for syntax matching problem.Gravatar David Aspinall1999-01-27
* . Clarified LEGO specific TODOGravatar Thomas Kleymann1999-01-23
* Updated. Time estimates and doc todo.Gravatar David Aspinall1999-01-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 07:59:02 +0000