Commits

Breadcrumbs

History for

on6ef5873

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 16, 2024

• Add a global flag for rewrite rules

  Show description for 5e4d125
  yannl35133

  committed
  5e4d125

  Copy full SHA for 5e4d125

Commits on Jul 1, 2023

• Removing -r to prevent the collision with -R.

  herbelin

  committed
  41be270

  Copy full SHA for 41be270

• Adding options -require, -r, -require-from, -rfrom.

  Show description for 7b659db
  herbelin

  committed
  7b659db

  Copy full SHA for 7b659db

Commits on Apr 17, 2023

• Enable warning 70 (missing mli), add mli files

  Show description for 99eae36
  SkySkimmer

  committed
  99eae36

  Copy full SHA for 99eae36

Commits on Mar 28, 2023

• Add -time-file to output the time data to a file

  Show description for 96107fb
  SkySkimmer

  committed
  96107fb

  Copy full SHA for 96107fb

Commits on Mar 7, 2023

• validate env after initialization

  gares

  committed
  3440de2

  Copy full SHA for 3440de2

Commits on Nov 3, 2022

• Typos

  jfehrle

  committed
  567423b

  Copy full SHA for 567423b

Commits on Feb 14, 2022

• move Usage to Boot

  Alizter

  committed
  695253f

  Copy full SHA for 695253f

Commits on Oct 12, 2021

• Stop using dune private modules

  Show description for 67522cb
  SkySkimmer

  committed
  67522cb

  Copy full SHA for 67522cb

Commits on Sep 10, 2021

• [ide] Fix paths used in reporting of missing data file.

  Show description for 0537677
  ejgallego

  committed
  0537677

  Copy full SHA for 0537677

• [coqdoc] Add a warning when passing an URL to --coqlib

  ejgallego

  committed
  08206ca

  Copy full SHA for 08206ca

• [boot] Account for -coqlib lib when in build layout

  Show description for fdf40ce
  ejgallego

  committed
  fdf40ce

  Copy full SHA for fdf40ce

• [build] [tools] Consolidation of directory handling code

  Show description for 7fb9591
  ejgallego

  committed
  7fb9591

  Copy full SHA for 7fb9591

Loading