From 4f74195f7762d1b680fc5bd49681778bf0eed0fa Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 18 Sep 2016 19:51:04 +0200 Subject: Detail. --- CHANGES | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 6aa27979..c176215f 100644 --- a/CHANGES +++ b/CHANGES @@ -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 -- cgit v1.2.3