index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
coqtop.ml
Commit message (
Expand
)
Author
Age
...
*
Ide: stronger separation from coqtop
letouzey
2011-03-23
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
Restored checking that _all_ arguments of the command line are meaningful
herbelin
2010-11-01
*
CoqIDE argv parsing delegated to coqtop
vgross
2010-09-14
*
* toplevel/Coqtop: Reactivate -dont-load-proofs option.
regisgia
2010-08-27
*
* lib/Flags: Replace dont_load_proofs by load_proofs since not loading
regisgia
2010-08-27
*
Rather quick hack to make basic unicode notations available by
herbelin
2010-07-29
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
CoqIDE goes multiprocess
vgross
2010-05-31
*
deporting Coq specific code from ide to toplevel.
vgross
2010-05-31
*
Modifying startup sequence
vgross
2010-05-31
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
note for later : when the tag table is shared, never, ever create two
vgross
2009-10-16
*
Changed the way to support compatibility with previous versions.
herbelin
2009-10-04
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Improved parameterization of Coq:
herbelin
2009-08-02
*
Support for binding Coq root read-only in -R option
herbelin
2009-07-01
*
Some dead code removal + cleanups
letouzey
2009-04-08
*
Better mechanism for loading initial plugins
letouzey
2009-03-14
*
Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk
notin
2009-02-11
*
- Suppression date dans configure du trunk
herbelin
2008-12-26
*
- 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
*
Sequel of 11697: repair coqtop.byte when contribs are statically linked (+min...
letouzey
2008-12-17
*
Take advantage of natdynlink when available: almost all contribs become loada...
letouzey
2008-12-16
*
Fixed bug in VernacExtend printing + missing vernacular printing rules +
herbelin
2008-11-22
*
Tentative d'amélioration de la robustesse des Makefile générés par
notin
2008-11-13
*
Native "Declare ML Module" when possible
glondu
2008-10-28
*
Suite commit 11236
notin
2008-07-21
*
Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...
notin
2008-07-18
*
Lissage de la gestion des chemins de chargement de fichiers :
herbelin
2008-06-29
*
Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...
notin
2008-06-25
*
Suppression de l'option -dump-glob et ajout d'une option -no-glob
notin
2008-06-24
*
2-3 petites modifs pour la compilation sous Windows...
notin
2008-06-06
*
- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to
msozeau
2008-05-12
*
Correction bug #1842 + correction bug initialisation introduit dans
herbelin
2008-05-10
*
- Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des
herbelin
2008-05-10
*
Plus de combinateurs sont passés de Util à Option. Le module Options
aspiwack
2007-12-06
*
Factorisation des opérations sur le type option de Util dans un module
aspiwack
2007-12-05
*
On Linux, we read /proc/self/exe to get the executable's path instead
glondu
2007-09-28
*
Suite ajout option -output-context
herbelin
2006-12-08
*
Ajout d'une option -output-context qui affiche le contexte en CCI pur à la
herbelin
2006-12-08
*
Added a new option -emacs-U changing emacs prompt delimiters by
courtieu
2006-09-29
*
Corrections mineures
notin
2006-09-25
*
Modifications dans les scripts de configuration (coqtop et coqide affichent m...
notin
2006-07-28
*
Ajout d'une option -with-geoproof à la configuration et à l'exécution
notin
2006-06-09
*
Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...
notin
2006-06-08
*
Réparation coqtop.ml
notin
2006-06-07
*
Changement de l'option -where: on vérifie si la variable d'environnement COQ...
notin
2006-06-07
*
Modification of emacs output: Pp.warning and al now output warning
courtieu
2006-04-27
[prev]
[next]