coq/theories/Unicode, branch master The formal proof system Update headers in the whole code base. 2020-03-18T11:15:43+00:00 Théo Zimmermann 2020-03-18T11:14:26+00:00 a99776e10e0b2198d2b811ad82631111fb450f8a Add headers to a few files which were missing them. 
Add headers to a few files which were missing them.
Update ml-style headers to new year. 2019-06-17T16:08:32+00:00 Théo Zimmermann 2019-06-06T09:22:08+00:00 42e09b6d888a29cc6273b8e77d5f9a2e5582abc4 






Tweak printing boxes for unicode binders
2018-06-10T20:55:01+00:00

Ralf Jung

2018-06-10T20:55:01+00:00

22a8bf74be802a591e2e691ed5fb457e9b71ca21












Update headers following #6543.
2018-02-27T16:57:50+00:00

Théo Zimmermann

2018-02-27T16:02:31+00:00

629fbc743f8b5e7623a6834f19885b2e379cb782












More structured printing in unicode notations for binders.
2018-02-20T09:03:07+00:00

Hugo Herbelin

2017-08-21T23:22:21+00:00

5b2f29e461d7dfb1336117050cc8c5d510025bf1












Bump year in headers.
2017-07-04T12:20:57+00:00

Pierre-Marie Pédrot

2017-07-04T12:19:44+00:00

3e0334dd48b5d0b03046d0aff1a82867dc98d656












drop vo.itarget files and compute the corresponding the corresponding values automatically instead
2017-06-01T15:33:19+00:00

Matej Kosik

2017-03-23T11:56:24+00:00

718d61a54157733bca61ed84c0ba3761cd52720f












Update copyright headers.
2016-01-20T16:33:09+00:00

Maxime Dénès

2016-01-20T16:25:10+00:00

86f5c0cbfa64c5d0949365369529c5b607878ef8












Update headers.
2015-01-12T13:24:46+00:00

Maxime Dénès

2015-01-12T13:24:46+00:00

d90a5d4bfb05cd832b439044542a8c22ad5bd3ee












Updating headers.
2012-08-08T18:56:15+00:00

herbelin

2012-08-08T18:56:15+00:00

a234672e9d669397b40b59254c482f49007000df

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7