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
*
Now CoqIDE relies on the option query mechanism to set printing options. Stil...
ppedrot
2011-11-30
*
More type safety in query GADT (again).
ppedrot
2011-11-30
*
Fixed a serious bug in XML marshalling due to unsafe GADTs. Now types are enf...
ppedrot
2011-11-30
*
Continuing r14747 being actually incomplete (flushing warnings and
herbelin
2011-11-30
*
Quick hack to avoid anomaly on using Program w/o having required JMeq.
herbelin
2011-11-30
*
Preventing Implicit Arguments warning to be shown in non verbose mode
herbelin
2011-11-30
*
Documentation of appcontext
letouzey
2011-11-29
*
Fixed a warning about unused variable introduced in r14731
ppedrot
2011-11-29
*
lib/xml_lexer.ml in .gitignore (produced by a .mll)
letouzey
2011-11-29
*
Extraction: typo in last commit
letouzey
2011-11-29
*
fix for bug #2649
corbinea
2011-11-29
*
Term: properly ignore Casts between Apps in constr_ord
puech
2011-11-29
*
Term: useless conversion to list in constr_ord deleted
puech
2011-11-29
*
Finally used typing to decide whether an alias needs to be expanded or
herbelin
2011-11-28
*
Fixing dependencies postprocessing bug in pattern-matching compilation.
herbelin
2011-11-28
*
Term: Fix hash_constr behavior for Cast lnterleaved in application spines.
puech
2011-11-28
*
Extraction: Richer patterns in matchs as proposed by P.N. Tollitte
letouzey
2011-11-28
*
doc: two minor fixes to make my latex happy
letouzey
2011-11-28
*
Fixed a bug in postprocessing dependencies in pattern-matching compilation
herbelin
2011-11-26
*
Added an API call to retrieve and change the option state
ppedrot
2011-11-25
*
Separated the toplevel interface into a purely declarative module with associ...
ppedrot
2011-11-25
*
Cleaning up XML parsing
ppedrot
2011-11-25
*
avoid relying on weak invariant in cbv.ml
bgregoir
2011-11-25
*
Added a function to inspect current option state.
ppedrot
2011-11-24
*
Fixed the XML parser CDATA handling (and changed the EOL convention of these ...
ppedrot
2011-11-24
*
Fixed some missing options from previous commit.
ppedrot
2011-11-24
*
Added a DEPRECATED flag in declaration of options. For now only two options a...
ppedrot
2011-11-24
*
Moving XML handling to lib directory
ppedrot
2011-11-24
*
Correct direction for definitional typeclasses
msozeau
2011-11-24
*
In emacs mode, prints a list of the dependent existential variables introduced
aspiwack
2011-11-23
*
Adds a pair of function in Evar_util to gather dependent evars in an
aspiwack
2011-11-23
*
Renamig support added to "Arguments"
gareuselesinge
2011-11-21
*
theories/, plugins/ and test-suite/ ported to the Arguments vernacular
gareuselesinge
2011-11-21
*
New Arguments vernacular
gareuselesinge
2011-11-21
*
Configurable simpl tactic
gareuselesinge
2011-11-21
*
coqide default pref files are by default in /etc/xdg/coq/
pboutill
2011-11-21
*
/home/pirbo/.coqrc* are read again
pboutill
2011-11-21
*
-user option removal
pboutill
2011-11-21
*
Updated CHANGES file wrt to pattern-matching compilation.
herbelin
2011-11-21
*
Extend the computation of dependencies in pattern-matching compilation
herbelin
2011-11-21
*
Add matching on non-inductive types in building an inversion problem
herbelin
2011-11-21
*
Old naming bug in pattern-matching compilation: names in the
herbelin
2011-11-21
*
Inlining let-in (i.e. trace of aliases) in extract_predicate for what
herbelin
2011-11-21
*
VectorDef.v takes benefit of dependencies being taken into account
herbelin
2011-11-21
*
In pattern-matching compilation, now taking into account the dependencies
herbelin
2011-11-21
*
Optimizing the compilation of unused aliases in pattern-matching.
herbelin
2011-11-21
*
Simplifying history management in pattern-matching compilation.
herbelin
2011-11-21
*
Fixing postprocessing bugs in pattern-matching compilation.
herbelin
2011-11-21
*
Removing stuff about alias dependencies now become useless.
herbelin
2011-11-21
*
Changed the way to detect if an "as" patterns is expanded or not. The
herbelin
2011-11-21
[next]