Commits

Branch selector

 master

User selector

ejgallego

Datepicker

All time

Commit History

Commits on Jul 16, 2021

• [build] [test-suite] Move `fake_ide` to test-suite

  Show description for c14b3c7
  

  ejgallego

  authored and

  Columbus240

  committed
  c14b3c7

  Copy full SHA for c14b3c7

Commits on Jul 7, 2021

• [dune] [api] Make some modules private.

  Show description for 474efec
  ejgallego

  committed
  474efec

  Copy full SHA for 474efec

Commits on Jul 1, 2021

• [coqc] Check that no obligations remain before saving a .vo

  Show description for 3350e61
  ejgallego

  committed
  3350e61

  Copy full SHA for 3350e61

Commits on Jun 23, 2021

• [build] Fix coqtop shim in byte mode.

  Show description for 93b11b8
  ejgallego

  committed
  93b11b8

  Copy full SHA for 93b11b8

• [build] Fix typo in Makefile following the renaming of stub lib

  Show description for 4bcb853
  ejgallego

  committed
  4bcb853

  Copy full SHA for 4bcb853

Commits on Jun 22, 2021

• [coqnative] Support -boot option

  Show description for fcfb5a2
  ejgallego

  committed
  fcfb5a2

  Copy full SHA for fcfb5a2

Commits on Jun 17, 2021

• [build] [compat] Declare coq.kernel as a compat library for 8.14

  Show description for 90ac212
  ejgallego

  committed
  90ac212

  Copy full SHA for 90ac212

• [coqnative] Accept -native-output-dir

  Show description for 09c206e
  ejgallego

  committed
  09c206e

  Copy full SHA for 09c206e

Commits on Jun 7, 2021

• [parser] Remove deprecated gram_universe API

  ejgallego

  committed
  09750f3

  Copy full SHA for 09750f3

Commits on Jun 2, 2021

• [build] Fix docgram deps in dune-make bridge

  Show description for fdfc448
  ejgallego

  committed
  fdfc448

  Copy full SHA for fdfc448

• [build] Install Coqide FAQ

  Show description for 72de8de
  ejgallego

  committed
  72de8de

  Copy full SHA for 72de8de

• [build] Install coqdoc.sty in global share prefix.

  Show description for e4702cb
  ejgallego

  committed
  e4702cb

  Copy full SHA for e4702cb

Commits on May 11, 2021

• [tools] Add coq_flock, a minimal flock replacement.

  Show description for 335d34d
  

  ejgallego

  and

  SkySkimmer

  committed
  335d34d

  Copy full SHA for 335d34d

Commits on May 9, 2021

• [build] Don't buffer output of sphinx calls

  Show description for 05c8565
  ejgallego

  committed
  05c8565

  Copy full SHA for 05c8565

Commits on May 8, 2021

• [build] [doc] Pass on INSTALL.make.md

  Show description for 6485d51
  ejgallego

  committed
  6485d51

  Copy full SHA for 6485d51

• [build] Remove undocumented prefix install vars, use DESTDIR

  Show description for 9b8fdfa
  ejgallego

  committed
  9b8fdfa

  Copy full SHA for 9b8fdfa

Commits on May 6, 2021

• [coqnative] Adjust library dependency

  Show description for e7452f1
  ejgallego

  committed
  e7452f1

  Copy full SHA for e7452f1

Commits on May 4, 2021

• [build] Ensure `make world` builds all targets present in `make install`

  Show description for f2928c0
  ejgallego

  committed
  f2928c0

  Copy full SHA for f2928c0

Commits on May 3, 2021

• [build] Fix missing deps to trigger coqide rebuild in bridge mode

  Show description for 97efcca
  ejgallego

  committed
  97efcca

  Copy full SHA for 97efcca

Commits on May 2, 2021

• [ocaml] [ci] Bump Ocaml edge to 4.12.0

  ejgallego

  committed
  1574adb

  Copy full SHA for 1574adb

• [ocaml] [api] [warning] Fix "optional arg cannot be erased" warning

  Show description for c224f5c
  ejgallego

  committed
  c224f5c

  Copy full SHA for c224f5c

Commits on May 1, 2021

• [build] [doc] Build a few more targets hygienically

  Show description for 57b8408
  ejgallego

  committed
  57b8408

  Copy full SHA for 57b8408

• [build] Some more fixes to Dune-Make bridge + ci-* targets

  Show description for feb2ffb
  ejgallego

  committed
  feb2ffb

  Copy full SHA for feb2ffb

Commits on Apr 29, 2021

• [build] Remove `-local` build layout, use always install-like layout

  Show description for 78c2015
  ejgallego

  committed
  78c2015

  Copy full SHA for 78c2015

• [build] [dune] Add world-states target to produce a subset of world

  Show description for b2599db
  ejgallego

  committed
  b2599db

  Copy full SHA for b2599db

• [doc] Note that `coq_makefile --help` will display help.

  Show description for 3d83871
  ejgallego

  committed
  3d83871

  Copy full SHA for 3d83871

• [build] Fix outdated documentation about dune install

  Show description for ee81570
  ejgallego

  committed
  ee81570

  Copy full SHA for ee81570

Commits on Apr 28, 2021

• [configure] Make configure a regular executable, modularize

  Show description for 6c9f848
  ejgallego

  committed
  6c9f848

  Copy full SHA for 6c9f848

• [build] Fix a missing EXE suffix in makefiles

  Show description for 950d4b2
  ejgallego

  committed
  950d4b2

  Copy full SHA for 950d4b2

• [build] Fix missing (EXE) in tool name in makefile.

  ejgallego

  committed
  1754446

  Copy full SHA for 1754446

Commits on Apr 27, 2021

• [coqdep] Make some options and API internal

  Show description for cddd7a4
  ejgallego

  committed
  cddd7a4

  Copy full SHA for cddd7a4

• [coqdoc] Move glob specific bits to their own library.

  ejgallego

  committed
  2260c38

  Copy full SHA for 2260c38

• [coqdoc] Move `glob_source` to use site.

  Show description for 9e8ff7e
  ejgallego

  committed
  9e8ff7e

  Copy full SHA for 9e8ff7e

• [coqdoc] Split concrete functionality to their own modules

  Show description for 5e1a117
  ejgallego

  committed
  5e1a117

  Copy full SHA for 5e1a117

• [coqdoc] Add mli for executuable

  Show description for 1c8fd7c
  ejgallego

  committed
  1c8fd7c

  Copy full SHA for 1c8fd7c

Pagination

Previous

Next