Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on May 29, 2019

Commits on May 28, 2019

Merge PR #10258: Remove the delayed universe table from object files.
gares
committed

Commits on May 26, 2019

Merge PR #10220: Use new coqrst syntax for alternatives in SSReflect chapter.
gares
committed

Commits on May 24, 2019

Merge PR #10209: Fix #10208 don't fail when passed extensionless -topfile
gares
committed
Merge PR #10201: Remove access to indirect opaques in the kernel
gares
committed

Commits on May 23, 2019

Merge PR #8768: [stm] Add hooks for document actions.
gares
committed

Commits on May 13, 2019

Merge PR #10076: [Canonical structures] Annotation to field declarations to prevent them from being “canonical”
gares
committed

Commits on May 10, 2019

Merge PR #10058: Remove various circumvolutions from reduction behaviors
gares
committed

Commits on May 7, 2019

Merge PR #10075: [Record] Une a record to gather field declaration attributes
gares
committed

Commits on May 5, 2019

[make] build unreleased.rst

gares
authored and
Zimmi48
committed

Commits on Apr 30, 2019

Merge PR #9995: fix `simpl_rel` and notations, `{pred T}` alias, `nonPropType` interface
gares
committed

Commits on Apr 29, 2019

Commits on Apr 26, 2019

Merge PR #10001: Add a typing colon in the output of the Search ssreflect vernacular
gares
committed

Commits on Apr 25, 2019

coq_makefile: do not pass -opt/-byte to coqc (fix #9974)
gares
committed

Commits on Apr 23, 2019

[doc] ssr_under: a few improvements

gares
authored and
erikmd
committed
[ssr] new syntax for the under tactic

gares
authored and
erikmd
committed
[ide] update coq-ssreflect.lang wrt under tactic

gares
authored and
erikmd
committed
[ssr] under: Rename bound variables a posteriori for cosmetic purpose

gares
and
erikmd
committed

Commits on Apr 12, 2019

Merge PR #9949: [stm] Report correct ids on some errors where it was dummy.
gares
committed

Commits on Apr 9, 2019

Merge PR #9928: Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG.
gares
committed

Commits on Apr 8, 2019

Merge PR #9915: Remove cache in Heads
gares
committed

Commits on Apr 2, 2019

[ssr] rewrite takes optional function to make the new valued of the redex

gares
authored and
erikmd
committed
[ssr] implement "under i: ext_lemma" by rewrite rule

gares
authored and
erikmd
committed
[ssr] fix implementation of refine ~first_goes_last

gares
authored and
erikmd
committed
[ssr] clean up type declaration of ssrrewritetac

gares
authored and
erikmd
committed
[ssr] move is_ind/constructor_ref to ssrcommon

gares
authored and
erikmd
committed

Commits on Apr 1, 2019

Merge PR #9870: Minor refactoring in canonical structures
gares
committed

Commits on Mar 31, 2019