index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
success
/
TestRefine.v
Commit message (
Expand
)
Author
Age
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Fixing test-suite after commit 43104a0b.
Pierre-Marie Pédrot
2016-09-14
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
Update headers.
Maxime Dénès
2015-01-12
*
Fixing TestRefine test-suite file.
Pierre-Marie Pédrot
2014-09-08
*
Fix the refine related test-suite files to account for the new refine.
Arnaud Spiwack
2013-12-06
*
Updating headers.
herbelin
2012-08-08
*
Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files.
ppedrot
2012-06-12
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Slight change of the semantics of user-given casts: they don't really
msozeau
2008-11-07
*
Correction du bug 808: il est maintenant interdit de déclarer une assomption...
coq
2006-03-02
*
Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8
herbelin
2005-12-21
*
Activation du test de Refine en v7 pour mémoire avant passage à la v8
herbelin
2005-12-21