aboutsummaryrefslogtreecommitdiff
path: root/TODO
AgeCommit message (Expand)Author
2013-12-22Update 'TODO'.Ludovic Courtès
2013-12-20Update 'TODO'.Ludovic Courtès
2013-10-09Update 'TODO'.Ludovic Courtès
2013-10-06Augment 'TODO'.Ludovic Courtès
2013-08-23Add TODO item.Ludovic Courtès
2013-07-19Update `TODO'.Ludovic Courtès
2013-07-03Update `NEWS' and `TODO'.Ludovic Courtès
2013-06-14Update `TODO'.Ludovic Courtès
2013-05-17Update `TODO'.Ludovic Courtès
2013-05-10Update `TODO'.Ludovic Courtès
2013-04-12Update `TODO'.Ludovic Courtès
2013-03-27Update `TODO'.Ludovic Courtès
2013-02-17Update `TODO'.Mark H Weaver
2013-01-28Update 'TODO'.Nikita Karetnikov
2013-01-27Update `TODO'.Ludovic Courtès
2013-01-18build: Bump to version 0.2....Ludovic Courtès
2013-01-15Augment `TODO'.Ludovic Courtès
2013-01-09Augment `TODO'.Ludovic Courtès
2012-12-12daemon: Use `openssl' from $PATH....Ludovic Courtès
2012-12-09Update `TODO'.Ludovic Courtès
2012-12-04Augment `TODO'.Ludovic Courtès
2012-11-18doc: Add `TODO'....Ludovic Courtès
/commit/gnu/packages/coq.scm?id=575c4ad510da2c66b38d4ee636b7cd717d5913d3'>gnu: coq-gappa: Update to 1.5.1....Julien Lepiller 2022-02-11gnu: coq-flocq: Update to 4.0.0....Julien Lepiller 2021-12-22gnu: coq: Update to 8.14.1....Julien Lepiller 2021-12-13gnu: Simplify package inputs....Ludovic Courtès 2021-11-30gnu: coq: Update to 8.14.0....Julien Lepiller 2021-11-30gnu: proof-general: Update to latest commit....Julien Lepiller 2021-11-30gnu: coq-semantics: Update to 8.14.0....Julien Lepiller 2021-11-22gnu: proof-general: Adjust autoloads for Emacs....zimoun 2021-11-21gnu: coq-stdpp: Update to 1.6.0....Julien Lepiller 2021-11-21gnu: coq-interval: Update to 4.3.1....Julien Lepiller 2021-11-21gnu: coq-coquelicot: Update to 3.2.0....Julien Lepiller 2021-11-21gnu: coq-mathcomp: Update to 1.13.0....Julien Lepiller 2021-11-21gnu: coq-gappa: Update to 1.5.0....Julien Lepiller 2021-11-21gnu: coq-flocq: Update to 3.4.2....Julien Lepiller 2021-11-20gnu: coq-interval: Update home-page....Julien Lepiller 2021-11-20gnu: coq-gappa: Update home-page....Julien Lepiller 2021-11-20gnu: coq-flocq: Update home-page....Julien Lepiller 2021-11-18gnu: coq-stdpp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-equations: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-autosubst: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-mathcomp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: Add coq-semantics....zimoun