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 could just bump PG’s minimal required version of emacs in next April? Clément and Pierre, what do you think about this? Kind regards, Erik -- Érik Martin-Dorel, PhD Maître de Conférences, Lab. IRIT, Univ. Toulouse 3 [email protected] [email protected] https://www.irit.fr/~Erik.Martin-Dorel _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
