aboutsummaryrefslogtreecommitdiff
path: root/ROADMAP
diff options
context:
space:
mode:
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions
9a2baafef1e24a3bfc73'>gnu: Update coq and its dependents...Robin Green 2020-09-08gnu: coq-stdpp: Update to 1.4.0....Robin Green 2020-09-07gnu: coq: fix coqide not finding coqidetop.opt...raingloom 2020-09-07gnu: coq-equations: Update 1.2.1-8.10-2....Robin Green 2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès