aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc
Commit message (Expand)AuthorAge
* About "apply in":Gravatar herbelin2008-12-09
* Use $(COQTOPEXE) to refer to bin/coqtop in MakefilesGravatar glondu2008-09-06
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* MAJ diversesGravatar herbelin2008-06-11
* - Patch sur "intros until 0"Gravatar herbelin2008-06-08
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* Fix typosGravatar lmamane2008-06-05
* - Correction bug highlighting "Module" dans CoqideGravatar herbelin2008-05-28
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* Quelques éléments de réflexionGravatar herbelin2008-05-03
* Correction du bug des types singletons pas sous-type de SetGravatar herbelin2008-04-27
* Chgts mineurs:Gravatar herbelin2008-04-03
* Implement KEEP_ML4_PREPROCESSED option in build systemGravatar lmamane2008-02-13
* Implement NO_RECALC_DEPS option in build systemGravatar lmamane2008-02-13
* MAJGravatar herbelin2007-10-29
* Allow a few build system optimisations/corner-cuttingGravatar lmamane2007-10-11
* Add glob.dump to Makefile the recommended way and document theGravatar lmamane2007-07-25
* Reorganise cleaning targetsGravatar lmamane2007-07-16
* A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemGravatar lmamane2007-07-16
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* MAJGravatar herbelin2007-05-21
* Quelques exemples sur l'asymétrie de la conversionGravatar herbelin2007-04-29
* Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.Gravatar herbelin2007-04-28
* - Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771Gravatar herbelin2007-04-18
* MAJGravatar herbelin2006-11-19
* MAJGravatar herbelin2006-10-30
* MAJ fichier dev/doc/changes.txtGravatar herbelin2006-06-10
* Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDGravatar herbelin2006-05-23
* Restructuration dossier dev et mise à jour de certaines documentationsGravatar herbelin2006-05-23
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Suppression de l'entrée devdoc dans le Makefile principal et modification en...Gravatar notin2006-04-27
* Deplacement du répertoire doc dans devGravatar notin2006-03-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 08:10:43 +0000