aboutsummaryrefslogtreecommitdiff
path: root/dev/doc/changes.txt
AgeCommit message (Expand)Author
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-17Uniformizing Tacticals, continued (allClauses -> allHypsAndConcl)herbelin
2009-03-14Cleaning/uniformizing the interface of tacticals.mliherbelin
2009-01-19- Structuring Numbers and fixing Setoid in stdlib's doc.herbelin
2008-12-29- Added support for subterm matching in SearchAbout.herbelin
2008-12-09About "apply in":herbelin
2008-06-11MAJ diversesherbelin
2008-06-08- Patch sur "intros until 0"herbelin
2008-06-08- Extension de "generalize" en "generalize c as id at occs".herbelin
2008-05-05Mise en place d'un algorithme d'inversion des contraintes de type lorsherbelin
2008-04-27Correction du bug des types singletons pas sous-type de Setherbelin
2007-04-28Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.herbelin
2007-04-18- Correction d'un bug de make_clenv_binding_apply révélé par le commit 9771herbelin
2006-06-10MAJ fichier dev/doc/changes.txtherbelin
2006-05-23Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDherbelin
2006-05-23Restructuration dossier dev et mise à jour de certaines documentationsherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 19:44:37 +0000