index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
coq_makefile.ml4
Commit message (
Expand
)
Author
Age
*
Remove dependency to Unix from module Profile
glondu
2010-07-02
*
Add unix.cma on camlp4 command-line in coq_makefile (Closes: #2326)
glondu
2010-06-03
*
Add (almost) compatibility with camlp4, without breaking support for camlp5
letouzey
2010-05-19
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Report de la révision #12676
notin
2010-01-15
*
Correction du bug #2153 (-D n'est pas une option standard de install)
notin
2009-11-05
*
Add a new vernacular command for controling implicit generalization of
msozeau
2009-10-27
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
- Cleaning phase of the interfaces of libnames.ml and nametab.ml
herbelin
2009-08-06
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...
barras
2009-03-19
*
coq_makefile: no ml dependency on coq sources
barras
2009-03-18
*
- configure: affiche si le natdynlink est positionne
barras
2009-03-17
*
missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...
barras
2009-03-16
*
Amélioration de coq_makefile
notin
2009-02-24
*
From v8.2 to trunk:
herbelin
2009-02-06
*
Oups... il n'y a pas d'option -impl pour ocamldep
notin
2009-01-09
*
Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'
notin
2009-01-07
*
Added installation of .cmi files in "make install" target of coq_makefile.
herbelin
2009-01-04
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
- configure: do not strip coqtop on Darwin so as to support dynamic loading
herbelin
2008-12-12
*
- Synchronized subst_object with load_object (load_and_subst_objects)
herbelin
2008-11-23
*
Tentative d'amélioration de la robustesse des Makefile générés par
notin
2008-11-13
*
Suite #11533
notin
2008-11-07
*
Correction du bug #1926
notin
2008-11-07
*
Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...
notin
2008-11-06
*
2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...
notin
2008-11-04
*
Syntaxe de COQBIN
notin
2008-10-20
*
- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)
herbelin
2008-10-18
*
Affichage intempestif d'information de globalisation + numéro de version dan...
notin
2008-07-18
*
- coqdoc: correction d'un bug sur les commentaires imbriqués
notin
2008-07-17
*
Suppression de l'option -dump-glob et ajout d'une option -no-glob
notin
2008-06-24
*
Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk
herbelin
2008-06-18
*
Prise en compte de l'export des .cmi dans coq_makefile
notin
2008-06-11
*
Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...
notin
2008-06-09
*
Correction d'un bug dans coq_makefile: génération des règles implicites en...
notin
2008-04-29
*
- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et
notin
2008-04-03
*
Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...
notin
2008-03-26
*
Prise en compte des dépendances des .ml
notin
2008-03-25
*
New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile
letouzey
2008-03-14
*
Coq_makefile : backtrack sur les liens vers les exécutables ocaml
notin
2008-03-08
*
Correction d'un bug de coq_makefile
notin
2008-03-07
*
Coq_makefile: correction de l'appel aux exécutables Ocaml
notin
2008-02-28
*
Coq_makefile: Correction d'un bug sur les options passées à Coqdoc
notin
2008-02-28
*
Génération d'une toc en html et avec l'option -ps
notin
2008-02-27
*
coq_makefile: variables
notin
2008-02-25
*
coq_makefile: dépendances + génération des fichiers html
notin
2008-02-25
*
Petite correction sur coq_makefile
notin
2007-12-18
*
Prise en compte des .glob par coq_makefile
notin
2007-10-17
[next]