index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
romega
/
ReflOmegaCore.v
Commit message (
Expand
)
Author
Age
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
ROmega : make it work even if no Require Import ZArith has been done
letouzey
2008-07-16
*
Backtrack sur la mise à disposition en standard de la notation [ x ; ... ; y ]
herbelin
2008-05-09
*
Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la
herbelin
2008-04-29
*
Verify Setoid is loaded only if we're not in Coq.Classes.*. Add explicit
msozeau
2008-04-09
*
small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is
letouzey
2007-11-06
*
Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;
notin
2007-08-16
*
Big reorganization of romega/ReflOmegaCore.v: towards a modular
letouzey
2007-07-10
*
Improvements / Bug fixes for ROmega
letouzey
2007-07-09
*
mult_sym, plus_sym -> mult_comm, plus_comm
herbelin
2006-11-19
*
Ajout de quelques Arguments Scope pour simuler la récursivité du scope rome...
herbelin
2006-07-11
*
correctifs de bug pour romega:
letouzey
2006-03-23
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
*
Traduction des noms v7 de Z en noms v8
herbelin
2005-12-25
*
- changement ordre arguments interp_goal_concl pour permettre application
herbelin
2005-02-21
*
adaptation V8 version Pierre Cregut
mohring
2004-03-03
*
Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...
herbelin
2003-11-29
*
Renommage canonique d'un lemme redondant
herbelin
2003-11-05
*
Renommage canonique d'un lemme redondant
herbelin
2003-11-05
*
*** empty log message ***
barras
2003-03-12
*
MAJ
herbelin
2003-01-22
*
Simplification de Simplify (plus de ())
herbelin
2003-01-19
*
Remplacement de Syntactic Definition par Notation
herbelin
2002-11-24
*
Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...
herbelin
2002-10-13
*
ZArith_base, Zbool, Bool_nat
filliatr
2002-06-20
*
Romega
mohring
2001-09-20
*
Romega/names/Makefile
mohring
2001-09-18