aboutsummaryrefslogtreecommitdiffhomepage
path: root/todo
Commit message (Expand)AuthorAge
* Added comments about using enriched mode or similar for prover output markup.Gravatar David Aspinall1999-09-30
* bug when prover gives error from proof-find (or similar).Gravatar David Aspinall1999-09-29
* Updated.Gravatar David Aspinall1999-09-29
* Added proof-script-command-separator. Needs work.Gravatar David Aspinall1999-09-29
* Putative enhancements mentioned.Gravatar David Aspinall1999-09-29
* Updated.Gravatar David Aspinall1999-09-29
* Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...Gravatar David Aspinall1999-09-29
* UpdatedGravatar David Aspinall1999-09-28
* UpdatedGravatar David Aspinall1999-09-28
* Note about syntaxGravatar David Aspinall1999-09-28
* UpdatedGravatar David Aspinall1999-09-23
* Made desired usability changes more explicit and detailed.Gravatar David Aspinall1999-09-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 14:17:00 +0000