This repository was archived by the owner on Nov 13, 2021. It is now read-only.

Files

contrib

notin

Création du fichier dumpglob.ml, qui rassemble les fonctions de globa…

Jun 25, 2008

29e4030 · Jun 25, 2008

Name	Name	Last commit message	Last commit date
parent directory ..
cc	cc	avoid universe problems with pf_get_type in f_equal	Mar 14, 2008
correctness	correctness	Suppression de la partie ML de la contrib correctness. Les fichiers	Apr 29, 2008
dp	dp	debug et nouvelles commandes Dp_prelude et Dp_predefined	May 13, 2008
extraction	extraction	export Extract_env.mono_environment in the mli	May 7, 2008
field	field	Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;	Aug 16, 2007
firstorder	firstorder	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur …	Jun 10, 2008
fourier	fourier	Diverses corrections	Apr 14, 2008
funind	funind	- Implantation de la suggestion 1873 sur discriminate. Au final,	Jun 21, 2008
interface	interface	Add possibility to match on defined hypotheses, using brackets to	Jun 16, 2008
jprover	jprover	Suppression de commentaires inutiles	Dec 19, 2007
micromega	micromega	Micromega : bugs fixes - renaming of tactics - documentation	Jun 25, 2008
omega	omega	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur …	Jun 10, 2008
ring	ring	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur …	Jun 10, 2008
romega	romega	Backtrack sur la mise à disposition en standard de la notation [ x ; …	May 9, 2008
rtauto	rtauto	Reorganize Program and Classes theories. Requiring Setoid no longer sets	Mar 16, 2008
setoid_ring	setoid_ring	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur …	Jun 10, 2008
subtac	subtac	Création du fichier dumpglob.ml, qui rassemble les fonctions de globa…	Jun 25, 2008
xml	xml	Improvements on coqdoc by adding more information into .glob	May 30, 2008

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

contrib

contrib

Files

contrib

Directory actions

More options

Directory actions

More options

Latest commit

History

contrib

Folders and files

parent directory