Commits · 1ac03f936e729a4482ae07a4693e07d7ae088ecb · research / cpdt

07 Sep, 2011 1 commit
- Rename Tactics; change 'principal typing' to 'principal types' · 1ac03f93
  Adam Chlipala authored 13 years ago
  
  1ac03f93
17 Jan, 2011 1 commit
- Tweak mark-up to support coqdoc 8.3 · 12609c55
  Adam Chlipala authored 14 years ago
  
  12609c55
10 Nov, 2010 1 commit
- PC comments on Reflection and Large · 8daee6f4
  Adam Chlipala authored 14 years ago
  
  8daee6f4
09 Dec, 2009 4 commits
- Build Processes · 1a0cde31
  Adam Chlipala authored 15 years ago
  
  1a0cde31
- Prose for Modules section · e069029b
  Adam Chlipala authored 15 years ago
  
  e069029b
- slow · fecdaccc
  Adam Chlipala authored 15 years ago
  
  fecdaccc
- New-rewrite-hint-breaks-old-script example · c7a73bcd
  Adam Chlipala authored 15 years ago
  
  c7a73bcd
07 Dec, 2009 3 commits
- More maint & debug code · a6bdb33e
  Adam Chlipala authored 15 years ago
  
  a6bdb33e
- Start of maint & debug · b00228e1
  Adam Chlipala authored 15 years ago
  
  b00228e1
- More anti-patterns · 2b3b74e1
  Adam Chlipala authored 15 years ago
  
  2b3b74e1
04 Dec, 2009 2 commits
- First part of 'Ltac Anti-Patterns' · 39df1019
  Adam Chlipala authored 15 years ago
  
  39df1019
- Uncommented functor example · 2de2e665
  Adam Chlipala authored 15 years ago
  
  2de2e665