diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2016-09-18 19:51:04 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-09-18 19:51:04 +0200 |
| commit | 4f74195f7762d1b680fc5bd49681778bf0eed0fa (patch) | |
| tree | 8f46bb46dce783d1418f08962eef438271353d58 /CHANGES | |
| parent | fa2a9c384f1a646176394b7c3785cd90312582e4 (diff) | |
Detail.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -1,16 +1,17 @@ -*- outline -*- This is a summary of main changes. For details, please see -the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. +the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG +and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac * Changes of Proof General 4.4 from Proof General 4.3 -** ProofGeneral has moved to github! +** ProofGeneral has moved to GitHub! - https://github.com/ProofGeneral/PG. + https://github.com/ProofGeneral/PG Please submit new bugs there, old bugs may stay in good old PG trac - for a while though: http://proofgeneral.inf.ed.ac.uk/trac. + for a while though: http://proofgeneral.inf.ed.ac.uk/trac ** Coq changes |