index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
todo
Commit message (
Expand
)
Author
Age
...
*
Updated for web pages, now only low-priority.
David Aspinall
1999-08-17
*
Updated
David Aspinall
1999-07-22
*
todo for web pages
David Aspinall
1999-07-05
*
todo for html
David Aspinall
1999-07-03
*
Note about compilation
David Aspinall
1999-06-30
*
*** empty log message ***
Patrick Loiseleur
1999-06-30
*
todo for web pages
David Aspinall
1999-06-28
*
Updates for new web pages, todo list.
David Aspinall
1999-06-24
*
Removed proof shell kill bug
David Aspinall
1999-06-15
*
Added todo for XEmacs packaging, reordered.
David Aspinall
1999-06-07
*
Downrated Poly/ML related item since Poly is defunct.
David Aspinall
1999-06-07
*
todo for reorganizing menus.
David Aspinall
1999-05-11
*
Merged changes sent by Patrick Loiseleur.
David Aspinall
1999-04-07
*
Idea for proof-auto-retract, notes about proof-strict-read-only
David Aspinall
1999-03-08
*
Updated. Explained Coq syntax prob for proof-goal-command-p
David Aspinall
1999-02-22
*
Idea to have a mailing list for PG.
David Aspinall
1999-02-01
*
Fixed matching. Added todo for making some code more generic.
David Aspinall
1999-02-01
*
Added TODO for syntax matching problem.
David Aspinall
1999-01-27
*
. Clarified LEGO specific TODO
Thomas Kleymann
1999-01-23
*
Updated. Time estimates and doc todo.
David Aspinall
1999-01-21
*
Updated. Long standing pty overflow bug fixed. We registration page wanted.
David Aspinall
1999-01-21
*
todo for testing solaris bug fix
David Aspinall
1999-01-15
*
Added todo for licence clarification after query from a user.
David Aspinall
1999-01-15
*
Web page links to Proof General from provers now added.
David Aspinall
1999-01-15
*
added links from LEGO Web page
Thomas Kleymann
1999-01-13
*
Raised priority of Solaris bug/problem.
David Aspinall
1999-01-12
*
Added todo for simplifying main download page, linking to pre-release.
David Aspinall
1998-12-17
*
Note about texinfo menu update.
David Aspinall
1998-12-16
*
Todo for putting Info somewhere good in the dir.
David Aspinall
1998-12-16
*
Made outstanding bugs we haven't investigated a single A item.
David Aspinall
1998-12-16
*
Removed all urgent TODOs for 2.0
David Aspinall
1998-12-16
*
Removed suspected bug mentioned by David von O. Now assumed to
David Aspinall
1998-12-16
*
Removed done stuff. Added LEGO cd hook todo.
David Aspinall
1998-12-15
*
Fixes for FSF Emacs handling of processes, kill buffer hooks,
David Aspinall
1998-12-15
*
More comments about multiple file problems
David Aspinall
1998-12-11
*
Urgent fix for multiple files wanted.
David Aspinall
1998-12-11
*
todo for Isabelle multiple files.
David Aspinall
1998-12-11
*
Updates
David Aspinall
1998-12-11
*
Added some items after user feedback. Also some *** probs.
David Aspinall
1998-12-11
*
Added A*** for documentation, X for ChangeLog in devel distrib.
David Aspinall
1998-12-08
*
Added new todos for LEGO.
David Aspinall
1998-12-05
*
Added note about final things to do for 2.0
David Aspinall
1998-11-26
*
Added note about bugs elsewhere. Display issues. Tech rep todos
David Aspinall
1998-11-26
*
Added 20.3 version of FSF Emacs and todo for each release.
David Aspinall
1998-11-25
*
Updated. Added item for process early exiting.
David Aspinall
1998-11-25
*
note about incomplete goal..save sequences.
David Aspinall
1998-11-25
*
Updated
David Aspinall
1998-11-25
*
Updated
David Aspinall
1998-11-25
*
Updated
David Aspinall
1998-11-25
*
Updated.
David Aspinall
1998-11-25
[prev]
[next]