pristine:0000000086-8d809db074ca8a5b543c84013ebd130c08033ba2496e4e65d730bd5fbc47cb16
[From trunk.
Eric Kow <E.Y.Kow@brighton.ac.uk>**20080928224308] 
hash: 0000021834-bff432c9b36fb035ddd607459643f93ba1024b2bb5390bf1472c22efadce7975
[Automatically insert 'TODO' comments on all top-level functions.
Eric Kow <E.Y.Kow@brighton.ac.uk>**20080822091905] 
hash: 0000001866-0cc8134048911ecf3a6eb1b430da2e05510259792570e0a4cecfd2dcaead2d4e
[darcs-doc: add TODO flags on all data types
Eric Kow <E.Y.Kow@brighton.ac.uk>**20080826134201] 
hash: 0000002595-bdbecd5b16732efdbaedce5b0781eeba648c9df993fb5a3a0acbc5ea6aa4550a
[remove trailing whitespace.
David Roundy <droundy@darcs.net>**20080821224353] 
hash: 0000001603-6de3160a439acea24668a15b3f2835b0f54a4df3e58871b32f866487a952e6aa
[eliminate fix_flag.
David Roundy <droundy@darcs.net>**20080823180947] 
hash: 0000000302-1f0431e3d62a2dd4e758ce145c6b0a88599dd820b9f917f162ed36d21ed9314a
[more conflict resolutions
florent.becker@ens-lyon.org**20080829123513] 
hash: 0000001973-acfff27afc41f2adebf4c94e0bf268ac418e4fa8cace4d44a6de1cadda7cf7dc
[Resolve issue966: fix apply_inv_to_matcher_inclusive.
Dmitry Kurochkin <dmitry.kurochkin@gmail.com>**20080827091833] 
hash: 0000000292-bda89d29eb46a317062de47f2409f8f79ee481e1c4d22782d82c65601f4c3ec4
