Commits · 99913c842c7835df30614712b99fd67bfa4ccbe8 · research / cpdt

05 Aug, 2015 1 commit
- Builds with Coq 8.5beta2 · 7bb7e8bc
  Adam Chlipala authored 9 years ago
  
  7bb7e8bc
05 Dec, 2013 1 commit
- Build an open-source release of library modules · 217c70ea
  Adam Chlipala authored 11 years ago
  
  217c70ea
02 Mar, 2012 1 commit
- Move exercises out of mainline book · d7ee798c
  Adam Chlipala authored 13 years ago
  
  d7ee798c
29 Aug, 2011 2 commits
- Pass through first half of StackMachine, along with some reorganization of the build process · 5a46baf2
  Adam Chlipala authored 13 years ago
  
  5a46baf2
- Fix .hgignore and check in .bib · be92d106
  Adam Chlipala authored 13 years ago
  
  be92d106
17 Jan, 2011 1 commit
- Tweak mark-up to support coqdoc 8.3 · 12609c55
  Adam Chlipala authored 14 years ago
  
  12609c55
09 Nov, 2009 1 commit
- Port InductiveTypes · fae77dd4
  Adam Chlipala authored 15 years ago
  
  fae77dd4
06 Nov, 2009 1 commit
- Parts I want to keep compile with 8.2 · e1ab379e
  Adam Chlipala authored 15 years ago
  
  e1ab379e
12 Sep, 2008 1 commit
- Publishing to the web · c11ea14a
  Adam Chlipala authored 16 years ago
  
  c11ea14a
05 Sep, 2008 1 commit
- Template generation · e450fe0b
  Adam Chlipala authored 16 years ago
  
  e450fe0b
29 Aug, 2008 3 commits
- Start of Intro · 697fed0c
  Adam Chlipala authored 16 years ago
  
  697fed0c
- Pretty LaTeX generation · 0f1efe21
  Adam Chlipala authored 16 years ago
  
  0f1efe21
- Start of stack machine example · 12b4adcf
  Adam Chlipala authored 16 years ago
  
  12b4adcf
20 Aug, 2008 1 commit
- Syllabus prose · 27f5fd8e
  Adam Chlipala authored 16 years ago
  
  27f5fd8e