index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
config
Commit message (
Expand
)
Author
Age
*
New -no-native-compiler flag for configure, globally disabling the native
mdenes
2013-02-24
*
Repair the configure after Hugo's last "repair" ;-)
letouzey
2012-10-05
*
Updating headers.
herbelin
2012-08-08
*
configure: add support of MinGW Win32 environment (fix #2526)
letouzey
2012-05-23
*
Tentative and very experminental support for typerex. Enabled with
aspiwack
2012-05-11
*
./configure & freedesktop
pboutill
2011-12-18
*
coqide default pref files are by default in /etc/xdg/coq/
pboutill
2011-11-21
*
In Coq_config: get rid of coqsrc and make coqlib optional
glondu
2011-09-27
*
Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging
pboutill
2011-06-14
*
Coqide Menubar integration in MacOS
pboutill
2011-06-10
*
coqtop -config returns coq returns coq environments at exection time
pboutill
2011-04-28
*
Coqide: a special kill function for win32
letouzey
2011-04-21
*
MacOS integration
pboutill
2011-01-07
*
TeX input method is now supported upstream
vgross
2010-10-07
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Add (almost) compatibility with camlp4, without breaking support for camlp5
letouzey
2010-05-19
*
"make source-doc" builds documentation of mli in html and pdf at
pboutill
2010-04-29
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Look for csdp in $PATH at runtime, remove -csdpdir configure option
glondu
2010-04-11
*
Application des patches envoyés par F. Besson pour micromega
notin
2010-03-08
*
Polishing the setup of CoqIDE Input Method
vgross
2010-02-18
*
Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...
letouzey
2009-12-09
*
Added profile.cmo in grammar.cma so that any functions in one of the
herbelin
2009-08-14
*
Tried to make F1 documentation tool working in CoqIDE.
herbelin
2009-08-14
*
Report de la révision #12104 (Maj lien site web de Coq)
notin
2009-04-24
*
Ocamlbuild: option for (not) building coqide, better log messages
letouzey
2009-04-03
*
Ocamlbuild: improvements suggested by N. Pouillard
letouzey
2009-04-03
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
Cleanup: remove unused config/giveostype.ml
letouzey
2009-03-11
*
Fix de divers petits problèmes d'installation
notin
2009-02-11
*
Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk
notin
2009-02-11
*
Add -coqtoolsbyteflags and -custom to ./configure...
glondu
2009-02-11
*
Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...
notin
2009-01-06
*
Report de la révision 11754 (compilation sous windows)
notin
2009-01-06
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Fix CAMLHLIB (due to r11358) (Closes: #1986)
glondu
2008-11-02
*
Native "Declare ML Module" when possible
glondu
2008-10-28
*
Install dllcoqrun.so and use it by default
glondu
2008-09-06
*
$(COQLIB) -> $(COQLIBINSTALL) in Makefiles
glondu
2008-09-06
*
Parametrize link flags for VM-dependent bytecode
glondu
2008-09-05
*
Build coqrun library using ocamlmklib...
glondu
2008-09-05
*
Add -browser option to configure script
glondu
2008-07-27
*
moved magic numbers to configure (share coq/coqchk)
barras
2008-07-24
*
Ajout d'une option pour contrôler l'installation automatique de la documenta...
notin
2008-07-16
*
Fix caml debug flags configuration, -g works with the native compiler only
msozeau
2008-05-19
*
Integration of theories/Ints into theories/Numbers, again : better generation...
letouzey
2008-05-08
*
Plongement de doc/Makefile dans la nouvelle architecutre des Makefile
notin
2008-02-14
*
Amélioration de la génération des graphes de dépendances
notin
2008-01-11
*
Ajout option -lablgtkdir au configure (basé sur patch de Guillaume
herbelin
2007-10-04
*
Compilation sous windows
notin
2007-10-03
[next]