Wed, 05 Sep 2012 15:22:13 -0400 |
Adam Chlipala |
Use lmodern LaTeX package for easier copying and pasting |
Sun, 02 Sep 2012 10:27:51 -0400 |
Adam Chlipala |
Clearer version of sentence on CIC extensions |
Thu, 30 Aug 2012 08:39:21 -0400 |
Adam Chlipala |
New release |
Wed, 29 Aug 2012 18:26:26 -0400 |
Adam Chlipala |
Spell check |
Wed, 29 Aug 2012 17:17:17 -0400 |
Adam Chlipala |
Finish complete proofreading pass |
Wed, 29 Aug 2012 17:03:19 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 17 |
Wed, 29 Aug 2012 16:33:59 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 16 |
Wed, 29 Aug 2012 15:36:06 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 15 |
Wed, 29 Aug 2012 15:04:17 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 14 |
Wed, 29 Aug 2012 14:11:26 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 13 |
Tue, 28 Aug 2012 16:53:16 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 12 |
Tue, 28 Aug 2012 15:53:21 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 11 |
Tue, 28 Aug 2012 11:48:06 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 10 |
Mon, 27 Aug 2012 17:51:15 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 9 |
Mon, 27 Aug 2012 17:21:34 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 8 |
Thu, 23 Aug 2012 16:54:04 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 7 |
Thu, 23 Aug 2012 11:06:37 -0400 |
Adam Chlipala |
Typo fixes |
Fri, 17 Aug 2012 15:39:55 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 5 |
Fri, 17 Aug 2012 15:16:08 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 5 |
Fri, 17 Aug 2012 14:50:05 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 4 |
Fri, 17 Aug 2012 14:19:59 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 3 |
Fri, 17 Aug 2012 12:22:26 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 2 |
Fri, 17 Aug 2012 11:35:59 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 1 |
Wed, 01 Aug 2012 17:31:56 -0400 |
Adam Chlipala |
Finished vertical spacing |
Wed, 01 Aug 2012 17:03:39 -0400 |
Adam Chlipala |
Vertical spacing through end of Part II |
Wed, 01 Aug 2012 16:32:04 -0400 |
Adam Chlipala |
Vertical spacing pass for MoreDep and DataStruct |
Wed, 01 Aug 2012 16:09:37 -0400 |
Adam Chlipala |
Undo some overzealous vspace tweaks |
Wed, 01 Aug 2012 15:52:50 -0400 |
Adam Chlipala |
Vertical spacing pass through GeneralRec |
Mon, 30 Jul 2012 16:50:02 -0400 |
Adam Chlipala |
Vertical spacing pass, through end of Subset |
Mon, 30 Jul 2012 13:21:36 -0400 |
Adam Chlipala |
A pass of improvements to vertical spacing, up through end of InductiveTypes |
Fri, 27 Jul 2012 16:55:30 -0400 |
Adam Chlipala |
New release |
Fri, 27 Jul 2012 16:47:28 -0400 |
Adam Chlipala |
A pass over all formatting, after big pile of coqdoc changes |
Fri, 27 Jul 2012 15:41:06 -0400 |
Adam Chlipala |
Changes during more coqdoc hacking |
Thu, 26 Jul 2012 19:05:12 -0400 |
Adam Chlipala |
Changes while hacking on coqdoc |
Thu, 26 Jul 2012 16:38:44 -0400 |
Adam Chlipala |
Finish pass taking advantage of new coqdoc features |
Thu, 26 Jul 2012 16:22:57 -0400 |
Adam Chlipala |
Pass through Large, to incorporate new coqdoc features |
Thu, 26 Jul 2012 14:57:38 -0400 |
Adam Chlipala |
Pass through Reflection, to incorporate new coqdoc features |
Thu, 26 Jul 2012 14:35:34 -0400 |
Adam Chlipala |
Pass through Match, to incorporate new coqdoc features |
Thu, 26 Jul 2012 14:18:15 -0400 |
Adam Chlipala |
Pass through LogicProg, to incorporate new coqdoc features |
Thu, 26 Jul 2012 11:55:52 -0400 |
Adam Chlipala |
Pass through Universes, to incorporate new coqdoc features |
Thu, 26 Jul 2012 11:22:46 -0400 |
Adam Chlipala |
Pass through Generic, to incorporate new coqdoc features |
Thu, 26 Jul 2012 11:09:48 -0400 |
Adam Chlipala |
Pass through Equality, to incorporate new coqdoc features |
Wed, 25 Jul 2012 18:10:26 -0400 |
Adam Chlipala |
Pass through DataStruct, to incorporate new coqdoc features; globally replace [refl_equal] with [eq_refl] |
Wed, 25 Jul 2012 17:50:12 -0400 |
Adam Chlipala |
Pass through MoreDep, to incorporate new coqdoc features |
Wed, 25 Jul 2012 17:16:07 -0400 |
Adam Chlipala |
Pass through GeneralRec, to incorporate new coqdoc features |
Wed, 25 Jul 2012 17:03:33 -0400 |
Adam Chlipala |
Pass through Subset, to incorporate new coqdoc features |
Wed, 25 Jul 2012 16:46:53 -0400 |
Adam Chlipala |
Pass through Coinductive, to incorporate new coqdoc features |
Wed, 25 Jul 2012 16:25:19 -0400 |
Adam Chlipala |
Pass through Predicates, to incorporate new coqdoc features |
Wed, 25 Jul 2012 16:15:50 -0400 |
Adam Chlipala |
Pass through InductiveTypes, to incorporate new coqdoc features |
Wed, 25 Jul 2012 15:51:54 -0400 |
Adam Chlipala |
Pass through StackMachine, to incorporate new coqdoc features |
Wed, 25 Jul 2012 15:07:12 -0400 |
Adam Chlipala |
Improve Intro mark-up, based on new coqdoc features planned for final 8.4 release |
Tue, 17 Jul 2012 16:37:58 -0400 |
Adam Chlipala |
Update for Coq trunk version intended for final 8.4 release |
Wed, 13 Jun 2012 11:14:00 -0400 |
Adam Chlipala |
Manual font choice for notation scope delimiters |
Fri, 08 Jun 2012 15:58:54 -0400 |
Adam Chlipala |
New release |
Fri, 08 Jun 2012 15:54:36 -0400 |
Adam Chlipala |
Typesetting pass over ProgLang |
Fri, 08 Jun 2012 15:44:54 -0400 |
Adam Chlipala |
Typesetting pass over Large |
Fri, 08 Jun 2012 15:28:22 -0400 |
Adam Chlipala |
Typesetting pass over Reflection |
Fri, 08 Jun 2012 15:16:56 -0400 |
Adam Chlipala |
Typesetting pass over Match |
Fri, 08 Jun 2012 15:09:11 -0400 |
Adam Chlipala |
Typesetting pass over LogicProg |
Fri, 08 Jun 2012 15:00:59 -0400 |
Adam Chlipala |
Typesetting pass over Universes |