Commits

Branch selector

 master

User selector

cpitclaudel

Datepicker

All time

Commit History

Commits on Aug 17, 2021

• Define COQBIN in CoqMakefile.in to avoid "undefined variable" warnings

  cpitclaudel

  committed
  189b873

  Copy full SHA for 189b873

Commits on Jul 13, 2021

• Merge PR #14645: Disable the Sphinx correct copyright date misfeature.

  Show description for f684f34
  cpitclaudel

  committed
  f684f34

  Copy full SHA for f684f34

Commits on May 25, 2021

• Print ANTLR version warning only once.

  Show description for d334b1b
  

  cpitclaudel

  and

  Zimmi48

  committed
  d334b1b

  Copy full SHA for d334b1b

Commits on Dec 11, 2020

• doc: Clarify the status of simpl vs cbn

  Show description for b668248
  cpitclaudel

  committed
  b668248

  Copy full SHA for b668248

• Merge PR #13611: Clarify changelog categories.

  Show description for c8d2248
  cpitclaudel

  committed
  c8d2248

  Copy full SHA for c8d2248

• Merge PR #13612: Bump reference to 8.12 refman following unexpected 8.12.2 release.

  Show description for edc599b
  cpitclaudel

  committed
  edc599b

  Copy full SHA for edc599b

Commits on Dec 9, 2020

• Merge PR #13564: Allow all characters in tacn, cmd, ... names. Report duplicate names.

  Show description for cc9f22d
  cpitclaudel

  committed
  cc9f22d

  Copy full SHA for cc9f22d

Commits on Sep 29, 2020

• Merge PR #13101: Reduce nitpick_ignore list a little.

  cpitclaudel

  committed
  a34e213

  Copy full SHA for a34e213

Commits on Sep 8, 2020

• Merge PR #12993: Remove deprecated tactic cutrewrite.

  Show description for 0ab3e7f
  cpitclaudel

  committed
  0ab3e7f

  Copy full SHA for 0ab3e7f

Commits on Jun 21, 2020

• Merge PR #12559: Add index for coqdoc.

  Show description for 3f8629c
  cpitclaudel

  committed
  3f8629c

  Copy full SHA for 3f8629c

Commits on Jun 10, 2020

• Merge PR #12491: Update changelog for 8.12+beta1.

  cpitclaudel

  committed
  c077db4

  Copy full SHA for c077db4

Commits on Jun 7, 2020

• [sphinx] Fix regexp used in coqdomain.CoqtopBlocksTransform.split_lines

  cpitclaudel

  committed
  7612610

  Copy full SHA for 7612610

• Merge PR #12473: Match only a single line as the coqtop prompt in coqtop:: directive

  cpitclaudel

  committed
  aad87d7

  Copy full SHA for aad87d7

Commits on Jun 5, 2020

• [sphinx] Fix #12361

  

  cpitclaudel

  authored and

  Zimmi48

  committed
  73d400a

  Copy full SHA for 73d400a

• [sphinx] Improve the error message printed for duplicate names

  

  cpitclaudel

  authored and

  Zimmi48

  committed
  51b13de

  Copy full SHA for 51b13de

• [sphinx] Get rid of anonymous targets (Sphinx 2.3.1 doesn't like them)

  Show description for c654804
  

  cpitclaudel

  authored and

  Zimmi48

  committed
  c654804

  Copy full SHA for c654804

• [sphinx] Remove most pylint warnings

  

  cpitclaudel

  authored and

  Zimmi48

  committed
  101b98f

  Copy full SHA for 101b98f

Commits on May 20, 2020

• Merge PR #12377: Adapt the documentation to the move from Gitter to Zulip.

  cpitclaudel

  committed
  5bf1609

  Copy full SHA for 5bf1609

Commits on May 19, 2020

• Merge PR #12224: Support :gdef:`text<term>` syntax (adding "<term>")

  Show description for ed0f2f0
  cpitclaudel

  committed
  ed0f2f0

  Copy full SHA for ed0f2f0

Commits on May 16, 2020

• Merge PR #12330: Add redirects for HTML pages that were moved.

  cpitclaudel

  committed
  8df74ac

  Copy full SHA for 8df74ac

Commits on May 15, 2020

• Merge PR #12239: Split Gallina, Gallina ext and most of CIC chapters into multiple pages.

  Show description for 2111994
  cpitclaudel

  committed
  2111994

  Copy full SHA for 2111994

Commits on May 13, 2020

• Merge PR #12309: Remove documentation of -compile, which was removed in #8690.

  cpitclaudel

  committed
  67f0e9f

  Copy full SHA for 67f0e9f

Commits on May 9, 2020

• [sphinx] Add links to other versions of the refman

  cpitclaudel

  committed
  2f74daa

  Copy full SHA for 2f74daa

Commits on May 8, 2020

• Merge PR #12272: Cleanup formatting in .. coqtop:: directives

  Show description for 3d01f12
  cpitclaudel

  committed
  3d01f12

  Copy full SHA for 3d01f12

Commits on May 5, 2020

• Merge PR #12252: [refman] Add missing (only parsing) to example of compat notations.

  cpitclaudel

  committed
  f4532cf

  Copy full SHA for f4532cf

Commits on May 2, 2020

• Merge PR #12172: Refactor first chapter: first step, the section on basics.

  Show description for 16b2734
  cpitclaudel

  committed
  16b2734

  Copy full SHA for 16b2734

Commits on Apr 29, 2020

• Merge PR #12150: Support in-line glossary definitions and references with an index

  Show description for 5f7225b
  cpitclaudel

  committed
  5f7225b

  Copy full SHA for 5f7225b

Commits on Apr 27, 2020

• Merge PR #12090: Remove documentation for Hide menu in CoqIDE (was removed in 8.5).

  cpitclaudel

  committed
  040550c

  Copy full SHA for 040550c

Commits on Apr 23, 2020

• Merge PR #12148: Consolidate funind documentation onto a single page.

  Show description for 5861c6d
  cpitclaudel

  committed
  5861c6d

  Copy full SHA for 5861c6d

Commits on Apr 7, 2020

• Merge PR #12042: Fix documentation of Print Libraries following #10476.

  cpitclaudel

  committed
  100c3ab

  Copy full SHA for 100c3ab

Commits on Apr 3, 2020

• Merge PR #11914: Start the split of the Gallina Extensions chapter.

  Show description for a37814a
  cpitclaudel

  committed
  a37814a

  Copy full SHA for a37814a

Commits on Apr 2, 2020

• Merge PR #11869: Add an index for attributes.

  Show description for 4950d96
  cpitclaudel

  committed
  4950d96

  Copy full SHA for 4950d96

Commits on Mar 28, 2020

• Merge PR #11950: Document change of behavior of Fail in 8.11.

  cpitclaudel

  committed
  eb01bc0

  Copy full SHA for eb01bc0

Commits on Mar 27, 2020

• Merge PR #11871: Split documentation of coqdoc on separate page.

  cpitclaudel

  committed
  974915a

  Copy full SHA for 974915a

Commits on Mar 26, 2020

• Merge PR #11929: Reintroduce a command that was actually used in another one. Fix build of PDF manual.

  Show description for 5f5f952
  cpitclaudel

  committed
  5f5f952

  Copy full SHA for 5f5f952

Pagination

Previous

Next