aboutsummaryrefslogtreecommitdiff
path: root/tools/coqwc.mll
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-05-23Fixing typos - Part 3JPR
2018-02-27Update headers following #6543.Théo Zimmermann
2017-09-26look for Obligation num or Next Obligation to start proofPaul Steckler
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Fix 4.04 warningsGaetan Gilbert
2016-01-20Update copyright headers.Maxime Dénès
2015-07-30Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2014-04-04Recognize "Instance" in coqwc. (Fix for bug #2551)Guillaume Melquiond
2014-04-04Support other forms of "Proof" in coqwc. (Fix for bug #2735)Guillaume Melquiond
2012-10-06still some more dead code removalletouzey
2012-08-08Updating headers.herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2007-03-08Add Program keywords to coqwcmsozeau
2005-05-31coqwc: Admittedfilliatr
2004-07-16Nouvelle en-têteherbelin
2003-09-05affichage de la nature des colonnesfilliatr
2003-09-05coqwcfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:48 +0000