Changelog for
coq-ide-8.8.2-lp150.41.1.x86_64.rpm :
* Thu Oct 11 2018 ptrommlerAATTicloud.com- update to 8.8.2
* Sun Jan 07 2018 ptrommlerAATTicloud.com- update to 8.7.1
* Thu Nov 02 2017 ptrommlerAATTicloud.com- update to 8.7.0
* I need this in class b/c coq-ide reads _CoqProject files
* Thu Apr 13 2017 peter.trommlerAATTohm-hochschule.de- update to 8.6 from upstream
* Fri Dec 02 2016 peter.trommlerAATTohm-hochschule.de- update to 8.5pl3 from upstream
* Fri Oct 21 2016 peter.trommlerAATTohm-hochschule.de- update to 8.5pl2 from upstream
* Sun Apr 10 2016 peter.trommlerAATTohm-hochschule.de- update to 8.5 from upstream
* Sat May 31 2014 peter.trommlerAATTohm-hochschule.de- update to 8.4pl4 from upstream
* Sun Jan 12 2014 peter.trommlerAATTohm-hochschule.de- update to 8.4pl3 from upstream- follow upstream versioning
* Sun Nov 10 2013 peter.trommlerAATTohm-hochschule.de- revert to our own lablgtk on older systems
* coq-ide cannot be built using 12.2 lablgtk2
* Wed Nov 06 2013 peter.trommlerAATTohm-hochschule.de- use system provided lablgtk2
* Mon Apr 08 2013 peter.trommlerAATTohm-hochschule.de- update to 8.4pl2- coqtop: handle interrupt signals reliably- restor old behavior for code extraction (AccessOpaque)
* Wed Dec 26 2012 peter.trommlerAATTohm-hochschule.de- update to 8.4pl1 from upstream- dropped f0b93...055.patch (integrated upstream)- use ocamlfind to find lablgtk2
* Mon Dec 03 2012 peter.trommlerAATTohm-hochschule.de- add patch for lablgtk2 v 2.16
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- mark config file
* Sun Nov 11 2012 peter.trommlerAATTohm-hochschule.de- give up on old ocaml names and require ocaml-lablgtk2-devel- clean up spec file
* Thu Oct 18 2012 peter.trommlerAATTohm-hochschule.de- remove requires and rely on automatic dependency generation for ocaml
* Wed Oct 17 2012 peter.trommlerAATTohm-hochschule.de- packaged new file coq.png
* Sun Oct 07 2012 peter.trommlerAATTohm-hochschule.de- update to 8.4 from upstream
* Thu Apr 12 2012 peter.trommlerAATTohm-hochschule.de- add ocaml- prefix to lablgtk-devel Buildrequires
* Wed Apr 11 2012 peter.trommlerAATTohm-hochschule.de- add Buildrequires hevea needed for documentation
* Wed Apr 11 2012 peter.trommlerAATTohm-hochschule.de- cleaned up spec file (BuildRequires and Requires one each line)- SPDX license tag
* Wed Apr 11 2012 peter.trommlerAATTohm-hochschule.de- upgraded to 8.3pl4 from upstream Bug fixes:- #2724 (using notations with binders in cases patterns was provoking an anomaly)- #2723 (alpha-conversion bug #2723 introduced in r12485-12486)- #2732 (anomaly when using the tolerance for writing \"f atomic_tac\" as a short-hand for \"f ltac:(atomic_tac)\")- #2729 (vm_compute: function used to decompose constructors did not handle let-ins)- #2728 (compatibility with camlp5 6.05)- #2682 (Fail discard the effects of a successful command)- #2703 (Undetected universe inconsistency)- #2667 (Coq crashes when \"Arguments Scope\" has too many parameters)- Compilation of coqide under MacOS with gtk >= 2.24.11- Coqdoc: Fixing missing newline when using \"Proof term.\"
