index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
correct some ends of .mllib files (avoid a broken tolink.ml)
letouzey
2012-08-24
*
No more states/initial.coq, instead coqtop now requires Prelude.vo
letouzey
2012-08-23
*
Updating headers.
herbelin
2012-08-08
*
Bigint: new functions of_int and to_int, 2nd arg of pow in int
letouzey
2012-08-02
*
Bigint: adds a missing -1 in hugo's last commit 15659
letouzey
2012-07-31
*
Bigint : better ensure canonicity of arrays of int blocks
letouzey
2012-07-30
*
Bigint: avoid dependency over Pp
letouzey
2012-07-30
*
Better fixing propagation of carry in sub_mult used for euclidian
herbelin
2012-07-29
*
Fixing unchecked overflow in sub_mult used for euclidian division over
herbelin
2012-07-21
*
Reductionops refactoring
pboutill
2012-07-20
*
Put Option in Clib
pboutill
2012-07-20
*
A new status Unsafe in Interface. Meant for commands such as Admitted.
aspiwack
2012-07-12
*
Adapting the IDE interface with the focussed display.
ppedrot
2012-07-10
*
Notation: a new annotation "compat 8.x" extending "only parsing"
letouzey
2012-07-05
*
Now CoqIDE separates answer and messages. This should hopefully
ppedrot
2012-06-29
*
Fixing info_auto / info_trivial display.
ppedrot
2012-06-28
*
Fixed string width printing in string_of_ppcmds
ppedrot
2012-06-26
*
Added a Deque module to CLib (to be used in CoqIDE).
ppedrot
2012-06-26
*
Documentation of pp.mli
ppedrot
2012-06-23
*
Moving logging level to Interface.
ppedrot
2012-06-23
*
Fixing Camlp4 compilation (hopefully, preprocessing fixpoint reached...)
ppedrot
2012-06-22
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Fixing #2825.
ppedrot
2012-06-21
*
Fixing bug #2809 (anomaly when printing a module with notations due to
herbelin
2012-06-20
*
Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BIN
pboutill
2012-06-15
*
coq_makefile fixup
pboutill
2012-06-14
*
bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfully
pboutill
2012-06-12
*
Colorization of coqtop messages is turned *off* by default
letouzey
2012-06-07
*
A box to pretty-print them all.
ppedrot
2012-06-04
*
Added a color output to Coqtop.
ppedrot
2012-06-04
*
Separated notice vs info messages, and cleaned up the interface a bit.
ppedrot
2012-06-04
*
Flushing formatters before program exit.
ppedrot
2012-06-02
*
More cleaning
ppedrot
2012-06-01
*
Cleaning Pp.ppnl use
ppedrot
2012-06-01
*
Getting rid of Pp.msgnl and Pp.message.
ppedrot
2012-06-01
*
Getting rid of Pp.msg
ppedrot
2012-05-30
*
More uniformisation in Pp.warn functions.
ppedrot
2012-05-30
*
Vernacexpr is now a mli-only file, locality stuff now in locality.ml
letouzey
2012-05-29
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Added semantic completion in CoqIDE. (Should also add an option for that...)
ppedrot
2012-05-13
*
Added a SearchAbout-like primitive in coqtop interface.
ppedrot
2012-05-13
*
Added an interface primitive to ask coqtop for its internal versions.
ppedrot
2012-05-13
*
Slightly modified the coqtop interface by adding an identifier in
ppedrot
2012-05-11
*
Always add the Coq_config.dirs to xdg_dirs
pboutill
2012-05-02
*
Added an interface call to exit Coqtop nicely.
ppedrot
2012-05-02
*
Program: avoid staying in program mode after a failed Program command
letouzey
2012-04-26
*
Adding newline after warning and restoring distinction between
herbelin
2012-04-15
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Shortcuts and optimizations of comparisons
xclerc
2012-04-05
*
info_trivial, info_auto, info_eauto, and debug (trivial|auto)
letouzey
2012-03-30
[next]