Hi Pierre,
Le jeudi 29 novembre 2018 à 17:48 +0100, Pierre Courtieu a écrit :
> Is a student having a 6 year old linux distrib really worth worrying?
> (just kidding).
For Ubuntu 14.04 I guess you just mean 4 years old (or 4.5)… as we’re
still in 2018 ;)
Actually what might be interesting when
Hi Pierre,
Le jeudi 29 novembre 2018 à 10:35 +0100, Pierre Courtieu a écrit :
> Do we really want to be compatible with ubuntu 14.04? I mean there are
> 18.04 and now 20.04 out there...
Indeed it may seem quite an old release… but the EOL of Ubuntu 14.04
will just take place in April 2019 (and
[reposting with the good e-mail address for the list…]
- Forwarded message from Erik Martin-Dorel -
> Date: Wed, 28 Nov 2018 21:35:08 +0100
> From: Erik Martin-Dorel
> To: Stefan Monnier
> Cc: ProofGeneral Development
> Subject: Re: [PG-devel] Supported version of
.
Best regards,
Erik, for the PG dev team
Le samedi 3 mars 2018 à 00:15 +0100, Erik Martin-Dorel a écrit :
> Dear ProofGeneral users and contributors,
>
> This is the final step of issues migration, so FYI access to
> https://github.com/ProofGeneral/PG/issues will now be temporarily
it will
be completed.)
Best regards,
Erik, for the PG dev team
Le jeudi 1 mars 2018 à 01:08 +0100, Erik Martin-Dorel a écrit :
> Dear ProofGeneral users and contributors,
>
> Just a quick note regarding the PG/xml implementation by Paul Steckler
> for async Coq proofs (that was gathered up to now i
Dear ProofGeneral users and contributors,
Just a quick note regarding the PG/xml implementation by Paul Steckler
for async Coq proofs (that was gathered up to now in his GitHub fork):
the new code has been recently integrated in the "async" branch of the
main PG repo
Hi Clément,
That's awesome! Thanks a lot for this migration and for sharing the
detail of the steps you had to follow...
Will clone and test the repo right now.
Cheers,
Erik
Le lundi 21 septembre 2015 à 00:32 -0400, Clement Pit a écrit :
> Hi folks,
>
> Exciting news! Proof-General has just
com/categories/github-pages-basics/ it would
suffice to name this extra repo "proofgeneral.github.io" ...
What is your opinion?
Kind regards,
Erik
--
Erik Martin-Dorel
https://github.com/erikmd
http://erik.martin-dorel.org/
___
ProofG