Coq

lp:~naesten/coq/not-found-bug-in-program-demo

Created by Samuel Bronson on 2009-09-23 and last modified on 2009-09-23

Get this branch:: bzr branch lp:~naesten/coq/not-found-bug-in-program-demo

Only Samuel Bronson can upload to this branch. If you are Samuel Bronson please log in for upload directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Samuel Bronson

Project:: Coq

Status:: Development

Recent revisions

10551. By Samuel Bronson on 2009-09-23: Bad commit just to show a Not_found bug in Program ...
10550. By Samuel Bronson on 2009-09-23: Remove a stray Print from Data.Sum
10549. By Samuel Bronson on 2009-09-22: Merge fron trunk again
10548. By Samuel Bronson on 2009-09-22: Slight rearrangement of the Implicit Argument declarations in Program.Syntax
10547. By Samuel Bronson on 2009-09-22: Add EqDec (decidability) and Setoid instances for option_eq to Data.Option
10546. By Samuel Bronson on 2009-09-21: Add Data.Prod module for products
10545. By Samuel Bronson on 2009-09-21: Clean up header of Morphisms.v
10544. By Samuel Bronson on 2009-09-21: Add Data.Option and Data.Sum modules to the library
10543. By Samuel Bronson on 2009-09-20: Merge from trunk, including trailing whitespace cleanup :-)
10542. By Samuel Bronson on 2009-09-19: Make output from "Print Grammar <unknown-grammar-type>" more helpful

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

Stacked on:: lp:coq

This branch contains Public information

Everyone can see this information.

Subscribers