Commits

Branch selector

 master

User selector

jashug

Datepicker

All time

Commit History

Commits on Nov 9, 2018

• Standardize handling of Automatic Introduction.

  Show description for 46f6b27
  jashug

  committed
  46f6b27

  Copy full SHA for 46f6b27

Commits on Jul 23, 2018

• Add test for repeated section with same name

  jashug

  committed
  b4e88c1

  Copy full SHA for b4e88c1

Commits on Jul 16, 2018

• Restrict universes in comInductive

  Show description for 76b1400
  jashug

  committed
  76b1400

  Copy full SHA for 76b1400

Commits on Jul 7, 2018

• Output UTF-8 explicitly in timing tools

  jashug

  committed
  b0e406b

  Copy full SHA for b0e406b

Commits on Jul 4, 2018

• Convert timing tools to run with both python2 and python3

  jashug

  committed
  c47a7e4

  Copy full SHA for c47a7e4

Commits on Jul 1, 2018

• Document option Uniform Inductive Parameters

  jashug

  committed
  ffb3ab4

  Copy full SHA for ffb3ab4

• Add test for Uniform Inductive Parameters

  jashug

  committed
  9b10e23

  Copy full SHA for 9b10e23

• Add flag Uniform Inductive Parameters

  jashug

  committed
  29ed1ed

  Copy full SHA for 29ed1ed

• Implement uniform parameters in ComInductive

  Show description for 313e6be
  jashug

  committed
  313e6be

  Copy full SHA for 313e6be

Commits on Apr 25, 2018

• Don't recurse into closed modules/sections in split_lib.

  Show description for 330b2eb
  jashug

  committed
  330b2eb

  Copy full SHA for 330b2eb

• Remove DirClosedSection.

  Show description for ea24fed
  jashug

  committed
  ea24fed

  Copy full SHA for ea24fed

Commits on Apr 15, 2018

• Update debugging.md

  Show description for c229958
  jashug

  authored
  c229958

  Copy full SHA for c229958

Commits on Apr 5, 2018

• Refactor impargs code.

  Show description for 4c392a1
  

  jashug

  authored and

  herbelin

  committed
  4c392a1

  Copy full SHA for 4c392a1

Commits on Mar 31, 2018

• Add CHANGES for removing Implicit Arguments and Arguments Scope

  jashug

  committed
  3df3e0f

  Copy full SHA for 3df3e0f

• Remove deprecated commands Arguments Scope and Implicit Arguments

  jashug

  committed
  ef62022

  Copy full SHA for ef62022

• Change Implicit Arguments to Arguments in test-suite

  jashug

  committed
  0fa8b8c

  Copy full SHA for 0fa8b8c

Commits on Mar 29, 2018

• Remove outdated patch from ci-sf

  jashug

  committed
  b125a5f

  Copy full SHA for b125a5f

Commits on Mar 21, 2018

• Refactor impargs code.

  Show description for 2815be6
  jashug

  committed
  2815be6

  Copy full SHA for 2815be6

Commits on Feb 23, 2018

• Document Arguments extra scopes flag

  jashug

  committed
  6304640

  Copy full SHA for 6304640

Commits on Feb 17, 2018

• Implement name mangling option

  jashug

  committed
  5968648

  Copy full SHA for 5968648

Commits on Jan 17, 2018

• Add CHANGES entry

  jashug

  committed
  d8652ef

  Copy full SHA for d8652ef

• Let dtauto recognize '@sigT A (fun _ => B)' as a conjunction

  jashug

  committed
  2d8dcd7

  Copy full SHA for 2d8dcd7

• Add CHANGES entry

  jashug

  committed
  7f60ab7

  Copy full SHA for 7f60ab7

• Add a test that `prod_applist_assum` reduces the right number of let-ins

  jashug

  committed
  92bc1c6

  Copy full SHA for 92bc1c6

• Use let-in aware prod_applist_assum in dtauto and firstorder.

  Show description for 58d209f
  jashug

  committed
  58d209f

  Copy full SHA for 58d209f

Commits on Jan 11, 2018

• Remove references to removed Unicode.Unsupported

  Show description for 23f9c77
  jashug

  authored
  23f9c77

  Copy full SHA for 23f9c77

• Lint and remove redundant line

  jashug

  committed
  25f910c

  Copy full SHA for 25f910c

Commits on Jan 10, 2018

• Add comments by @psteckler to test-suite/README.md

  jashug

  committed
  2e0b408

  Copy full SHA for 2e0b408

Commits on Jan 6, 2018

• Mention -B argument of make to rerun tests

  jashug

  committed
  2a483f7

  Copy full SHA for 2a483f7

• First stab at documenting the test suite.

  jashug

  committed
  8c1aa69

  Copy full SHA for 8c1aa69

Commits on Dec 9, 2017

• Remove most uses of function extensionality in Program.Combinators

  jashug

  committed
  94468c0

  Copy full SHA for 94468c0