search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 88 forks source link

Release 4.4 reports version 4.4pre in spash screen #116

Open wilbowma opened 8 years ago

wilbowma commented 8 years ago

I just downloaded and installed release 4.4, but noticed that the splash screen still reports the version as "4.4pre", which slightly confusing.


                                  [ image ProofGeneral-splash.png ]                                                                                                                                                  

                                              Welcome to                                                                                                                                                             
                                          Coq Proof General!                                                                                                                                                         

                                           Version 4.4pre.                                                                                                                                                           

                         © LFCS, University of Edinburgh & contributors 2016
erikmd commented 8 years ago

Hi @wilbowma, Yes indeed, when preparing the 4.4 release I mistakenly forgot to update this very last occurrence of "4.4pre" in the PG codebase. Sorry for the inconvenience, this will be solved for the upcoming release.