index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
coqrc in the right XDG_CONFIG_HOME/coq folder
pboutill
2011-11-20
*
coqide-gtk2rc not dotted
pboutill
2011-11-20
*
CoqIdE configuration file won't pollute your home anymore
pboutill
2011-11-20
*
Teach coq_makefile how to install into XDG_DATA_HOME.
pboutill
2011-11-20
*
Add support for XDG_DATA_HOME and XDG_DATA_DIRS.
pboutill
2011-11-20
*
coq_makefile: Don't install with +x.
pboutill
2011-11-20
*
coq_makefile: Add Makefile variables specifying install
pboutill
2011-11-20
*
Adding the type infrastructure to handle properly API management of options
ppedrot
2011-11-18
*
Fix parsing of :>> and backtrack correctly on the cache of hints for local co...
msozeau
2011-11-18
*
Return of the tactic hints features in CoqIDE.
ppedrot
2011-11-18
*
Added hint support in the API. You can now query a goal to see the tactics th...
ppedrot
2011-11-18
*
Toplevel loop is a bit more robust: it catches bad API queries.
ppedrot
2011-11-18
*
Making status info better in CoqIDE: path and name of current lemma
ppedrot
2011-11-18
*
Now Coqtop has a richer way to answer a query about its pending goals. Answer...
ppedrot
2011-11-18
*
Added a printing function to handle single evars
ppedrot
2011-11-18
*
Replaced goal api call with a proper structure. This disables menu hints in C...
ppedrot
2011-11-18
*
Coqide -debug only printed Coqtop information.
pboutill
2011-11-18
*
Restore backward compatibility. ":>" declares subinstances in Class declarati...
msozeau
2011-11-18
*
Fix for subclasses implementation, allowing to register generalized classes s...
msozeau
2011-11-18
*
Fixing bug #2640 and variants of it (inconsistency between when and
herbelin
2011-11-17
*
Fixing new bug introduced in r14665 when fixing bug #1834.
herbelin
2011-11-17
*
Merge fix for bug #2604.
msozeau
2011-11-17
*
Fix bug #2604, wrong error from setoid_rewrite. The rewrite is impossible due...
msozeau
2011-11-17
*
Merge subinstances branch by me and Tom Prince.
msozeau
2011-11-17
*
Was missing a potential application of subtyping
msozeau
2011-11-17
*
Adding postprocessing to remove "commutative cuts" expansions in
herbelin
2011-11-16
*
Changed the way find_dependencies_signature is working so that it
herbelin
2011-11-16
*
De Bruijn indices bug in pattern matching compilation in the presence
herbelin
2011-11-16
*
Old generalization bug in pattern-matching: names were considered the
herbelin
2011-11-16
*
Fixing bug #1834 (de Bruijn indices bug in pattern-matching compilation).
herbelin
2011-11-16
*
Old typing bug in pattern-matching compilation (apparently w/o
herbelin
2011-11-16
*
Specialization of tomatch in pattern-matching compilation was done too
herbelin
2011-11-16
*
A bit of documentation around cases.ml + ML modules uselessly open
herbelin
2011-11-16
*
Completed list of theories targets
herbelin
2011-11-16
*
Suppression fichier Case8.v redondant
herbelin
2011-11-16
*
Fixing beautification of "thm_token" (missing space) + improvements.
herbelin
2011-11-16
*
Fixing association of wrong "as"-pattern name when expanding
herbelin
2011-11-16
*
Fixing dependencies lifting bug in pattern-matching compilation
herbelin
2011-11-16
*
Bug 2637: patches to make slightly easier to write programs that use coq code...
pboutill
2011-11-14
*
Bug 2636 - Move string_of_ppcmds to Pp
pboutill
2011-11-14
*
Fixed ocamlbuild compilation (Tom Prince)
ppedrot
2011-11-09
*
Refined second_order_matching so that a constraint on which
herbelin
2011-11-08
*
optimization: memoization for is_open_canonical_projection
gareuselesinge
2011-11-08
*
Improved check is_open_canonical_projection
gareuselesinge
2011-11-08
*
Allow "|_=>_" in "match" in patterns, no more forced enumeration of constructors
letouzey
2011-11-07
*
Fixed xml-light handling of whitespace not compliant with XML standard: it st...
ppedrot
2011-11-07
*
Fixing incorrect change to pattern-unification over Meta's introduced
herbelin
2011-11-06
*
Fixing tactic remember not correctly checking preservation of typing
herbelin
2011-11-06
*
Also sprach CoqIDE (in XML)
ppedrot
2011-11-06
*
Fixed nasty bug when empty PCData, confusion no string vs. empty string
ppedrot
2011-11-06
[prev]
[next]