log src/MoreDep.v

age author description
Fri, 27 Jul 2012 16:47:28 -0400 Adam Chlipala A pass over all formatting, after big pile of coqdoc changes
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
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 14:22:59 -0400 Adam Chlipala Typesetting pass over MoreDep
Wed, 06 Jun 2012 11:25:13 -0400 Adam Chlipala Get it working in Coq 8.4beta1; use nice coqdoc notation for italics
Thu, 12 Apr 2012 14:30:53 -0400 Adam Chlipala A pass through Match
Thu, 29 Mar 2012 18:10:52 -0400 Adam Chlipala Get it to build with Coq 8.4
Mon, 26 Mar 2012 16:55:59 -0400 Adam Chlipala Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default
Fri, 02 Mar 2012 10:52:22 -0500 Adam Chlipala The one rule of dependent pattern matching
Fri, 02 Mar 2012 09:58:00 -0500 Adam Chlipala Move exercises out of mainline book
Tue, 08 Nov 2011 11:54:09 -0500 Adam Chlipala Pass over old Large material; index fixes
Wed, 26 Oct 2011 11:19:52 -0400 Adam Chlipala Stub out new chapter
Mon, 10 Oct 2011 16:01:31 -0400 Adam Chlipala Pass over MoreDep
Wed, 05 Oct 2011 11:32:13 -0400 Adam Chlipala Pass over Subset
Wed, 07 Sep 2011 13:47:24 -0400 Adam Chlipala Rename Tactics; change 'principal typing' to 'principal types'
Mon, 17 Jan 2011 15:12:30 -0500 Adam Chlipala Tweak mark-up to support coqdoc 8.3
Fri, 14 Jan 2011 14:39:12 -0500 Adam Chlipala Everything compiles in Coq 8.3pl1
Thu, 09 Dec 2010 14:39:49 -0500 Adam Chlipala Spelling errors found preparing JFR paper
Thu, 09 Dec 2010 13:44:57 -0500 Adam Chlipala Fixes added while proofreading JFR camera-ready
Wed, 10 Nov 2010 16:31:04 -0500 Adam Chlipala A pass of double-quotes and LaTeX operator beautification
Fri, 05 Nov 2010 11:36:36 -0400 Adam Chlipala PC comments for MoreDep
Mon, 28 Jun 2010 07:59:01 -0400 Adam Chlipala A suggestion from sbriais: mention that Coq >=8.2 allows omitted match cases
Tue, 24 Nov 2009 07:54:38 -0500 Adam Chlipala Fix typo
Wed, 11 Nov 2009 12:21:28 -0500 Adam Chlipala Finish porting MoreDep
Wed, 11 Nov 2009 10:27:47 -0500 Adam Chlipala Start of MoreDep port; new [dep_destruct] based on [dependent destruction]
Fri, 06 Nov 2009 10:52:43 -0500 Adam Chlipala Parts I want to keep compile with 8.2
Wed, 08 Oct 2008 14:22:47 -0400 Adam Chlipala Fix red-black section heading
Wed, 08 Oct 2008 14:18:35 -0400 Adam Chlipala Add a darn newline
Wed, 08 Oct 2008 13:55:20 -0400 Adam Chlipala Exercise added at end of MoreDep
Wed, 08 Oct 2008 10:01:26 -0400 Adam Chlipala Templatize MoreDep
Tue, 07 Oct 2008 22:14:39 -0400 Adam Chlipala Prettify rbtree a bit more
Tue, 07 Oct 2008 22:05:37 -0400 Adam Chlipala Prettify rbtree a bit
Tue, 07 Oct 2008 21:58:45 -0400 Adam Chlipala Move [present] section earlier
Tue, 07 Oct 2008 21:49:35 -0400 Adam Chlipala Correctness of insertion
Tue, 07 Oct 2008 20:15:12 -0400 Adam Chlipala Red-black insert
Tue, 07 Oct 2008 16:50:46 -0400 Adam Chlipala Comment regexp matcher
Tue, 07 Oct 2008 16:08:58 -0400 Adam Chlipala Finish automating regexp
Tue, 07 Oct 2008 14:52:15 -0400 Adam Chlipala Add star to regexp matcher; need to automate a bit more
Tue, 07 Oct 2008 10:49:07 -0400 Adam Chlipala Remove -impredicative-set
Mon, 06 Oct 2008 14:41:13 -0400 Adam Chlipala Add 'Or' to regexp matcher
Mon, 06 Oct 2008 14:33:11 -0400 Adam Chlipala Start of certified regexp matcher
Mon, 06 Oct 2008 13:07:24 -0400 Adam Chlipala Tagless interpreter & cfold
Sun, 05 Oct 2008 20:07:35 -0400 Adam Chlipala Incorporate crush' bug reports; ilists in MoreDep
Sun, 05 Oct 2008 15:42:14 -0400 Adam Chlipala Start of MoreDep