aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-05-23coqide: blaster 2monate
2003-05-23fabrication de ide/utf8.voletouzey
2003-05-23Bug en mode translateherbelin
2003-05-23majfilliatr
2003-05-23coqide: blaster 2monate
2003-05-23majfilliatr
2003-05-22V8Notationherbelin
2003-05-22Ajout V8Notationherbelin
2003-05-22Réparation d'un bug de backtracking qui lui-même succédait à une ineffica...herbelin
2003-05-22Test backtrackingherbelin
2003-05-22Ajout V8Notationherbelin
2003-05-22Preservation affichage des ?n en V7herbelin
2003-05-22coqide: blaster V1monate
2003-05-22Ocaml 3.00 a existe'herbelin
2003-05-22compat windowsfilliatr
2003-05-22majfilliatr
2003-05-21Suppression définitive de lmatch et or_metanum dans tacinterpherbelin
2003-05-21Suppression définitive de lmatch et or_metanum dans tacinterpherbelin
2003-05-21Mise en conformite de la precedence du '-' unaire avec celle de Notations (su...herbelin
2003-05-21Mise en conformite de la precedence du '-' unaire avec celle de Notationsherbelin
2003-05-21Mise en conformite de la precedence du '-' unaire avec celle de Notationsherbelin
2003-05-21Concentration des notations officielles dans Init/Notations; restructuration ...herbelin
2003-05-21Nouveaux testsherbelin
2003-05-21MAJherbelin
2003-05-21Notationsherbelin
2003-05-21Bugherbelin
2003-05-21Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...herbelin
2003-05-21MAJherbelin
2003-05-21Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...herbelin
2003-05-21Possibilité de syntaxe conjointement à la définition des inductifs et des ...herbelin
2003-05-21majfilliatr
2003-05-20CoqIde: externalsmonate
2003-05-20Prise en compte notation dans Inductif pour traducteurherbelin
2003-05-20command_windows fixmonate
2003-05-20Extension renommageherbelin
2003-05-20majfilliatr
2003-05-19Affichage METAherbelin
2003-05-19Restructutation Hipattern Patternherbelin
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-05-19Restructuration des procédures de filtrageherbelin
2003-05-19*** empty log message ***monate
2003-05-19CoqIde : but reset_modfilliatr
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
2003-05-19but Require dans une Sectionfilliatr
2003-05-17majfilliatr
2003-05-16Major Ground tactic update, sensible performance improvementcorbinea
2003-05-15table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...filliatr
2003-05-15class CoqIde donnée à l'application, pour une meilleure intégrationfilliatr
2003-05-15majfilliatr
2003-05-14coqide: .* on start/add \n on eofmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-10 04:26:32 +0000