aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-07-19some more svn:ignore propertiesletouzey
2007-07-18A generic preprocessing tactic zify for (r)omegaletouzey
2007-07-18Makefile: slightly cleaner version of r10026lmamane
2007-07-18Makefile: don't mention bin/coqtop.byte twice to make when BEST=byte, it comp...lmamane
2007-07-18Cleanly refuse to operate in the presence of unsaved changes in emacslmamane
2007-07-18Affichage de "thesis" seulement en mode déclaratifherbelin
2007-07-18Oups... Use shell-variable syntax in shell commands.lmamane
2007-07-18Makefile: Revert r10015, which was based on a misunderstandinglmamane
2007-07-18Raffinement de interp_ident pour que l'ident interprété soit au choixherbelin
2007-07-18Makefile: needs GNU Make 3.81lmamane
2007-07-18J'ai enlevé un fichier qui était en double. Merci à Pierre pour avoir aspiwack
2007-07-18Makefile: more robustness all aroundlmamane
2007-07-17Makefile: Do _not_ delete dummy .ml files of .ml4 files even when not needed ...lmamane
2007-07-16Do not try to clean the doc when no config/Makefilelmamane
2007-07-16Reorganise cleaning targetslmamane
2007-07-16Makefile: -MG doesn't (and can't) do what is necessarylmamane
2007-07-16A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemlmamane
2007-07-16Oups... empty .ml4.d files producedlmamane
2007-07-16CAMLP4DEPS will not work for .byteml and .optmllmamane
2007-07-16Generalized CAMLP4USE for pp dependenciescorbinea
2007-07-16Makefile: work around gcc bug: lhs of make rule created by -MM does not inclu...lmamane
2007-07-16Makefile: in C, .d files need to depend on the same as the .o filelmamane
2007-07-16makefile: dependencies of .c files: assume missing headers are generated fileslmamane
2007-07-15Makefile: use CFLAGS for dependency generation of .c fileslmamane
2007-07-13An update on axiomatization of number classes.emakarov
2007-07-13some more useless constant in const_omegaletouzey
2007-07-13Beginning of a reorganisation of the ml part for romega: letouzey
2007-07-13A emacs-specific comment to use makefile-mode on Makefile.*letouzey
2007-07-13Added Qpower_plus' and Zpower_Qpowerroconnor
2007-07-13Small cleanupletouzey
2007-07-13Répertoire Numbers poursuit l'objectif entamé en syntaxe V7 dans leherbelin
2007-07-13Deletion of some firstorder calls in FSetAVL: letouzey
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2007-07-13removing a warning at compilation timejforest
2007-07-12Proof for subthery
2007-07-12(Port of r9984) Easier debugging:glondu
2007-07-12Update (test-suite was not successful).glondu
2007-07-12Deletion of an obsolete file (euclidian division done in old syntax with real...letouzey
2007-07-12Deletion of contrib/extraction/testletouzey
2007-07-12normalisation (by closure) was not performed under fixpointsbarras
2007-07-12port de r9968: bug avec les ring calculatoiresbarras
2007-07-12An optimization to simplify generated obligations removing unnecessary let-in's.msozeau
2007-07-12Fix bug when adding progs with no obligationsmsozeau
2007-07-12Forgot to commit new Makefilemsozeau
2007-07-12Remove dead modules in Subtac.msozeau
2007-07-12Cleanup, use Util list functions when possiblemsozeau
2007-07-12Proof for succ, add, predthery
2007-07-11dead codeletouzey
2007-07-11Slight cleanup of refl_omega.ml : in particular it uses now listletouzey
2007-07-11Added ForAll_Str_nth_tlroconnor
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 14:40:07 +0000