Commits

Branch selector

 master

User selector

ybertot

Datepicker

All time

Commit History

Commits on Feb 7, 2023

• attempt to solve the ci-perennial problem

  

  ybertot

  authored and

  gares

  committed
  96c1ed0

  Copy full SHA for 96c1ed0

• repair ci-overlay

  

  ybertot

  authored and

  gares

  committed
  b5e989c

  Copy full SHA for b5e989c

• changelog entry for PR#13448

  

  ybertot

  authored and

  gares

  committed
  6053698

  Copy full SHA for 6053698

• add test for issue #13428.

  

  ybertot

  authored and

  gares

  committed
  0d1c3d0

  Copy full SHA for 0d1c3d0

• Modified the implementation of the simpl tactic so that the database

  Show description for 90bae82
  

  ybertot

  authored and

  gares

  committed
  90bae82

  Copy full SHA for 90bae82

Commits on Dec 4, 2020

• typo

  ybertot

  committed
  ffc0f59

  Copy full SHA for ffc0f59

Commits on Feb 7, 2020

• restore the default URL for coquelicot

  ybertot

  committed
  3bc90bd

  Copy full SHA for 3bc90bd

Commits on Feb 6, 2020

• replace RList by list R

  Show description for 0fe99a0
  ybertot

  committed
  0fe99a0

  Copy full SHA for 0fe99a0

Commits on Jan 11, 2019

• Merge pull request #8778 from SkySkimmer/merge-plugin-tuto

  Show description for ac8c25a
  ybertot

  authored
  ac8c25a

  Copy full SHA for ac8c25a

Commits on Nov 7, 2018

• Merge pull request #17 from ejgallego/fix_warn

  Show description for e6f4d7f
  ybertot

  authored
  e6f4d7f

  Copy full SHA for e6f4d7f

• Merge pull request #16 from ejgallego/dunerize

  Show description for f8b340e
  ybertot

  authored
  f8b340e

  Copy full SHA for f8b340e

• Merge pull request #15 from ejgallego/add_travis

  Show description for a5116a4
  ybertot

  authored
  a5116a4

  Copy full SHA for a5116a4

Commits on Nov 5, 2018

• Merge pull request #12 from SkySkimmer/command-atts

  Show description for 6617535
  ybertot

  authored
  6617535

  Copy full SHA for 6617535

Commits on Oct 31, 2018

• Revert "Merge pull request #13 from herbelin/master+adapt-coq8718-declaration-hooks"

  Show description for 58b9174
  ybertot

  committed
  58b9174

  Copy full SHA for 58b9174

Commits on Oct 30, 2018

• Merge pull request #13 from herbelin/master+adapt-coq8718-declaration-hooks

  Show description for 9e8d0b0
  ybertot

  authored
  9e8d0b0

  Copy full SHA for 9e8d0b0

Commits on Oct 29, 2018

• Merge pull request #10 from mattam82/pr8671-fix

  Show description for 56c3ae6
  ybertot

  authored
  56c3ae6

  Copy full SHA for 56c3ae6

Commits on Oct 22, 2018

• Merge pull request #11 from ejgallego/vernac+monify_hook

  Show description for 94ac6fe
  ybertot

  authored
  94ac6fe

  Copy full SHA for 94ac6fe

Commits on Oct 1, 2018

• fix deprecation warnings

  ybertot

  committed
  d54cfa6

  Copy full SHA for d54cfa6

• adapts to master on Oct. 1st 2018, but warnings remain

  ybertot

  committed
  ed3e5e0

  Copy full SHA for ed3e5e0

Commits on May 30, 2018

• Merge branch 'remove_constr_of_global'

  ybertot

  committed
  368321b

  Copy full SHA for 368321b

• remove warnings and merge printing function for econstr terms

  ybertot

  committed
  2d6a961

  Copy full SHA for 2d6a961

• remove uses of Universes.constr_of_global

  ybertot

  committed
  ef843bc

  Copy full SHA for ef843bc

• this version has no warnings when compiling

  ybertot

  committed
  46f908a

  Copy full SHA for 46f908a

• Merge pull request #6 from maximedenes/fix-printer

  Show description for 470f48c
  ybertot

  authored
  470f48c

  Copy full SHA for 470f48c

Commits on May 17, 2018

• Merge pull request #5 from gares/fix/tuto2

  Show description for 35b4f62
  ybertot

  authored
  35b4f62

  Copy full SHA for 35b4f62

• Merge pull request #4 from gares/fix/tuto0

  Show description for 0cb5498
  ybertot

  authored
  0cb5498

  Copy full SHA for 0cb5498

• Merge pull request #3 from gares/patch-1

  Show description for 6201b7e
  ybertot

  authored
  6201b7e

  Copy full SHA for 6201b7e

• Merge pull request #2 from gares/gares-patch-1

  Show description for f129cf5
  ybertot

  authored
  f129cf5

  Copy full SHA for f129cf5

Commits on May 12, 2018

• adds a hello world tactic in tuto0

  ybertot

  committed
  6791402

  Copy full SHA for 6791402

Commits on May 11, 2018

• Updates the contents of the third tutorial

  ybertot

  committed
  d558653

  Copy full SHA for d558653

• This version contains documentation for the code of the packing tactic

  Show description for 1117a34
  ybertot

  committed
  1117a34

  Copy full SHA for 1117a34

• Adds a tactic that hides the contents of an hypothesis from view

  ybertot

  committed
  9559285

  Copy full SHA for 9559285

• Use the more colloquial EConstr.t type instead of EConstr.constr

  ybertot

  committed
  c74ead3

  Copy full SHA for c74ead3

Commits on May 10, 2018

• This version has type inference performing proofs, using both type classes

  Show description for 6763c58
  ybertot

  committed
  6763c58

  Copy full SHA for 6763c58

• finished the example where type class resolution is forced

  ybertot

  committed
  cb49f4c

  Copy full SHA for cb49f4c

Pagination

Previous

Next