coq/dev/header, branch master The formal proof system Standard headers for C and Python. 2018-03-06T16:39:25+00:00 Maxime Dénès 2018-03-06T16:39:25+00:00 29ed0e83af01ce32116b85b41a94d771cbc39954 






More accurate and complete headers.
2018-02-21T16:25:17+00:00

Théo Zimmermann

2018-01-02T15:02:27+00:00

3457327ab61bff61df6c90d2b612d40fee99ccf7

Remove the mention of specific labs (irrelevant for a copyright notice).
Add a mention to represent other contributors and a pointer to CREDITS.





Remove the mention of specific labs (irrelevant for a copyright notice).
Add a mention to represent other contributors and a pointer to CREDITS.







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

Pierre-Marie Pédrot

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

3e0334dd48b5d0b03046d0aff1a82867dc98d656












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

Maxime Dénès

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

86f5c0cbfa64c5d0949365369529c5b607878ef8












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







Updated COPYRIGHT file and header. Improved and fixed header updater.
2010-07-24T15:56:00+00:00

herbelin

2010-07-24T15:56:00+00:00

27882e4edd07e306333fdc024330982741416a19

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





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







Chgts mineurs:
2008-04-03T14:09:56+00:00

herbelin

2008-04-03T14:09:56+00:00

ff94dcd516111978dfd7b782cbda2d9eae837a60

- correction commit incorrect d'une modif de test-suite/success/apply.v
- réorganisation dev/
- renommage Print Modules en Print Libraries
- $Id:$ dans g_vernac.ml4


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





- correction commit incorrect d'une modif de test-suite/success/apply.v
- réorganisation dev/
- renommage Print Modules en Print Libraries
- $Id:$ dans g_vernac.ml4


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







Restructuration dossier dev et mise à jour de certaines documentations
2006-05-23T21:51:59+00:00

herbelin

2006-05-23T21:51:59+00:00

e24d8149c3aefd11b03458b6f9b3e38ca454b07a

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





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







Header V8
2004-08-03T21:52:15+00:00

herbelin

2004-08-03T21:52:15+00:00

1be34dd7aed0548fdff34e09416977134781b886

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





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







MAJ
2002-01-07T06:07:12+00:00

herbelin

2002-01-07T06:07:12+00:00

ec646f299f96b1508db08d189b80d2912ee6bed0

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





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