Re: [PG-devel] Migrating Proof-General to Git

Hi Pierre/all, Sorry for delay replying, I was away then returned but now very busy with start of term... Have made a new Admin team now with you and Clément as members. BTW, a mapping of names->emails is in the Makefile somewhere, although it may be incomplete (try "make ChangeLog"). If we're

Re: [PG-devel] Migrating Proof-General to Git

Hi David, Le vendredi 18 septembre 2015 à 10:54 +0100, David Aspinall a écrit : > Hi Pierre/all, > > Sorry for delay replying, I was away then returned but now very busy > with start of term... > > Have made a new Admin team now with you and Clément as members. > > BTW, a mapping of names->emai

Re: [PG-devel] Migrating Proof-General to Git

Hi Erik, > If you are thinking of adding a GitHub repo dedicated to the webpages > sources, maybe it would be convenient to host the webpages themselves > at GitHub too? Because according to https://pages.github.com/ and > https://help.github.com/categories/github-pages-basics/ it would > suffice

Re: [PG-devel] Migrating Proof-General to Git

Hi David et al, I'll do the migration of the CVS repo this week-end, then. Hopefully I don't run into trouble. Cheers, Clément. On 09/18/2015 05:54 AM, David Aspinall wrote: > Hi Pierre/all, > > Sorry for delay replying, I was away then returned but now very busy > with start of term... > > H

[PG-devel] Bug-reports

Hi David, hi all, glad to listen it goes on. WRT to bugs: what about starting a new tracker while keeping the trac-repo for reference, test-cases etc? Just my thoughts... Thanks all, Andreas ___ ProofGeneral-devel mailing list ProofGeneral-devel