Le jeu. 29 nov. 2018 à 12:12, Erik Martin-Dorel <erik.martin-do...@ens-lyon.org> a écrit : > > 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 I’ve seen several people still > having 14.04 on their PC, including students in my university) so we
Is a student having a 6 year old linux distrib really worth worrying? (just kidding). Sounds good to me. P. > could just bump PG’s minimal required version of emacs in next April? > > Clément and Pierre, what do you think about this? _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
