Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 14, 2010

• fix args for coqtop to use HypReason Library

  dcolish

  committedSep 14, 2010
  e0a47e5

Commits on Sep 13, 2010

• starting to work on loading coqd modules

  dcolish

  committedSep 13, 2010
  cd67cde

• Merge branch 'master' of github.com:dcolish/Cockerel

  dcolish

  committedSep 13, 2010
  f05ed63

• allow optional serialization for webapp as well

  dcolish

  committedSep 13, 2010
  2fdd7b9

• cleanups, make coqd not require json by default. add code to interp

  dcolish

  committedSep 13, 2010
  093cedf

Commits on Aug 18, 2010

• Merge branch 'master' of github.com:dcolish/Cockerel

  harke

  committedAug 18, 2010
  518c9f6

Commits on Aug 17, 2010

• fix url gen for theorems

  dcolish

  committedAug 17, 2010
  66d09f2

• make docs clearer

  dcolish

  committedAug 17, 2010
  1d71839

• Merge branch 'master' of github.com:dcolish/Cockerel

  harke

  committedAug 17, 2010
  887574f

• use correct labels in lessons and classes

  dcolish

  committedAug 17, 2010
  a482d04

• made README slightly more readable

  harke

  committedAug 17, 2010
  2a4d9f7

• fixes for Flask-Markdown update

  dcolish

  committedAug 17, 2010
  ac66f85

Commits on Aug 16, 2010

• Merge branch 'master' of github.com:dcolish/Cockerel

  dcolish

  committedAug 16, 2010
  8dad797

• final stuff before submission

  dcolish

  committedAug 16, 2010
  5b4936d

Commits on Aug 11, 2010

• (oops, previous commit message actually applies to these files too)

  harke

  committedAug 11, 2010
  62a3e0b

• Changed more tactics so they monotonically add hypotheses as a proof progresses.

  harke

  committedAug 11, 2010
  ad447cb

Commits on Aug 10, 2010

• Fixed a bug with Modus Tollens where the tactic use to do an in-place substitution of a new result for an old result.

  harke

  committedAug 10, 2010
  01bade7

Commits on Aug 9, 2010

• more updates in docs

  dcolish

  committedAug 9, 2010
  13809bf

• attepts at getting debs built

  dcolish

  committedAug 9, 2010
  9d40e6d

Commits on Aug 8, 2010

• fixes for parser

  dcolish

  committedAug 8, 2010
  947050e

Commits on Aug 7, 2010

• add docs Makefile

  dcolish

  committedAug 7, 2010
  5f3a1bc

• improvements to prover, better theorem tracking, added docs

  dcolish

  committedAug 7, 2010
  1e05931

Commits on Aug 5, 2010

• fixes, tore out codemirror and hosted elsewhere

  dcolish

  committedAug 5, 2010
  c2c4aa3

Commits on Aug 4, 2010

• reorgs

  dcolish

  committedAug 4, 2010
  381f6d3

Commits on Jul 31, 2010

• updates to schema for proofs, added markdown extension to render proofs in lessons, fixes all around, more tests

  dcolish

  committedJul 31, 2010
  a6b937a

Commits on Jul 27, 2010

• ltac updates

  dcolish

  committedJul 27, 2010
  410f2a7

• many fixes, config alfajor, back to 2.6 min install, some tests

  dcolish

  committedJul 27, 2010
  d285d9f

Commits on Jul 23, 2010

• fix up grammer, use correct coqd output in prover.

  dcolish

  committedJul 23, 2010
  4f553d2

Commits on Jul 13, 2010

• that didnt work

  dcolish

  committedJul 13, 2010
  c7eac31

• maybe this will fix it

  dcolish

  committedJul 13, 2010
  c4b11e8

• some fixes an cleanup

  dcolish

  committedJul 13, 2010
  03fbc2d

• fix render_template param

  dcolish

  committedJul 13, 2010
  7efd7aa

• fix template path

  dcolish

  committedJul 13, 2010
  46e4dd3

• small fixes for setup

  dcolish

  committedJul 13, 2010
  ba721ae

• fixed typo, added info message

  dcolish

  committedJul 13, 2010
  98a83f3

Pagination

PreviousNext