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
/
refine.v
Commit message (
Expand
)
Author
Age
*
Fix test-suite files after change in refine tactic.
Maxime Dénès
2015-12-15
*
Fix the refine related test-suite files to account for the new refine.
Arnaud Spiwack
2013-12-06
*
Unset Asymmetric Patterns
pboutill
2013-01-18
*
Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files.
ppedrot
2012-06-12
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Adaptation to ocaml 3.11 new semantics of String.index_from (see bug #1974)
herbelin
2008-11-04
*
Wish #1582 (3eme)
herbelin
2007-05-18
*
Correction d'un bug refine
herbelin
2006-11-10
*
Vieux bug de fin 2004 gardé pour mémoire
herbelin
2006-05-05
*
Ajout bug #1102
herbelin
2006-04-28
*
Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8
herbelin
2005-12-21
*
Fix bug #931: leave dependent evars as such for refine
herbelin
2005-03-08
*
Erreur commit précédent
herbelin
2004-12-06
*
Ajout bug #888
herbelin
2004-12-06
*
Ajout bug #889
herbelin
2004-12-06
*
Ajout exemple Yves
herbelin
2003-12-12
*
Refine et let-in
filliatr
2001-09-20