aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* Reorganized and formatted, added some items.Gravatar David Aspinall1999-09-13
* Mention splash screen and that XEmacs can't display transparent gifsGravatar David Aspinall1999-09-13
* UpdatedGravatar David Aspinall1999-08-27
* UpdatedGravatar David Aspinall1999-08-27
* New itemsGravatar David Aspinall1999-08-23
* Updates.Gravatar David Aspinall1999-08-23
* updated.Gravatar David Aspinall1999-08-20
* Improvement for C-c C-o mentionedGravatar David Aspinall1999-08-20
* Added todo for pre 2.1 testingGravatar David Aspinall1999-08-20
* Web page todo for smaller screens.Gravatar David Aspinall1999-08-17
* Updated for web pages, now only low-priority.Gravatar David Aspinall1999-08-17
* UpdatedGravatar David Aspinall1999-07-22
* todo for web pagesGravatar David Aspinall1999-07-05
* todo for htmlGravatar David Aspinall1999-07-03
* Note about compilationGravatar David Aspinall1999-06-30
* *** empty log message ***Gravatar Patrick Loiseleur1999-06-30
* todo for web pagesGravatar David Aspinall1999-06-28
* Updates for new web pages, todo list.Gravatar David Aspinall1999-06-24
* 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