aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2003-05-19configure et make install s'occupent de CoqIde tout seulsfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-19but Require dans une Sectionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4028 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-17majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4027 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-16Major Ground tactic update, sensible performance improvementcorbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4026 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-15table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ↵filliatr
notamment) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4025 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-15class CoqIde donnée à l'application, pour une meilleure intégrationfilliatr
avec le Window Manager git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4024 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-15majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4023 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14coqide: .* on start/add \n on eofmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4022 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14coqide: load/save file encoding support/monate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4021 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14Amelioration presentationherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4020 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14Amelioration affichageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4019 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14Hack pour ameliorer l'affichage des applications dans les `...` etherbelin
``...`` en les mettant sous forme n-aire, et sans casser la compatibilite des implicites git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4018 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4017 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14Suppression de 'R' dans la notation == entreherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4016 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14Suppression de 'R' dans la notation == entreherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4015 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-14Deplacement lemmes sur fact de Reals vers Arithherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4014 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Nouveaux lemmesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4013 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Nouveaux lemmes (sur proposition de Nijmegen)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4012 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Affichage commentairesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4011 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Nouveaux lemmes (sur proposition de Nijmegen)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4010 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Rien d'importantherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4009 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Notations arithmetiquesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4008 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Orthographe anglaise - typosherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4007 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Orthographe anglaiseherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4006 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Separation entre les propositions de syntaxe - suiteherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4005 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Separation entre les 2 propositions de syntaxeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4004 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-13Modif de coq-tex - meilleur affichage des suite de coq_example'scoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4003 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-12coqide: all can focusmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4002 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-12CoqIde: AccelMap supportmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-09ajout inverse relation bien fondeemohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4000 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-09majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3998 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-08bugfixes in Ground.corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3997 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-08Petite correction d'affichage de modulescoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3996 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07coqide: missing filesmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3995 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07coqide: GtkData depmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3994 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07coqide: toolbar/autosavemonate
Hugo: Suppression du type dans les notations == et <> entre Suppression du type dans les notations == et <> entre volution second traducteur selon discussion TYPES git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3993 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07coqide: toolbar/autosavemonate
Hugo: Suppression du type dans les notations == et <> entre git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3992 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07Enhancement of the Ground tactic, addition of GTauto and GIntuition.corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3991 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-07entréé translation2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3990 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-05Corrige Bug (PR#290)coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3989 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-30majfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3985 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Prise en compte des syntaxes v8 dans Uninterpreted Notationherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3984 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Prise en compte des syntaxes v8 dans Uninterpreted Notationherbelin
Suite mise en place infrastructure pour déclaration de syntaxe simultanée à la déclaration d'inductifs Table séparée pour les précédences de notations git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3983 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29coqide: search forw+backmonate
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3982 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3981 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Blancsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3980 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Notationsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3979 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Implicit Typesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3978 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Ajout ChoiceFactsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3977 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-29Blancsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3976 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-19 16:26:57 +0000