Starting with tag:
[TAG 2.2.0
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090317163725
 Ignore-this: b05b22af386d5c49d26e5f4b78ca3623
] 
[Bumped version to 2.2.1.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090317164031
 Ignore-this: 8196c3a09be34c753d4262a31f2a82d0
] 
[The output of Happy and Alex is now included in generated tar-balls.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090317182755
 Ignore-this: 801b861e0f524306e979a72032041837
 + Generated using darcs dist.
] 
[Mentioned that all files are not available from Hackage.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090317184750
 Ignore-this: f613f5953ba3963c05c73730aa877ac8
] 
[allow binary-0.5
ulfn@chalmers.se**20090324135441] 
[Added a test case for agda --html.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090317193923
 Ignore-this: 2cd72a67aa090e748aa0d8095b991186
] 
[Noted a potential security risk.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090318151129
 Ignore-this: b1a14d0eb0dfe972e71f2c0752e78924
] 
[Minor tweak.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090323111718
 Ignore-this: 2898cd66caad94de6eb4b0c5b6799de3
] 
[Mentioned the existence of Agda-executable.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090323111926
 Ignore-this: f94f0347d7893bf10834d5829074e669
] 
[The Emacs mode is now included in the main Cabal package.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090324141940
 Ignore-this: c95271efeb5bff49b53aa9dfe2e674af
 + It is installed together with the library. The user still has to
   instruct Emacs to use the mode.
] 
[Added the --print-emacs-dir flag, simplified the README.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090324162551
 Ignore-this: 368ec2c3b422a0ef4402353ff62eba9e
] 
[Minor tweak.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090324202727
 Ignore-this: 32cc01895c7fe694d9abc4b3e74c8a5a
] 
[Documented a procedure for releasing Agda.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090324202820
 Ignore-this: fcc5087f1295e97bcd667fec52e3fd69
] 
[Tied the Emacs mode to a particular version of Agda.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090324203810
 Ignore-this: bda001e597a86ef00ebd4edb5c418993
 + To avoid problems if the interface is modified. Note that a separate
   version of the Emacs mode is installed for every version of Agda.
 + Replaced --print-emacs-dir with --emacs-mode.
] 
[Simplified the installation instructions.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090329220729
 Ignore-this: de50140c95b73f339f85e93b0d254b3a
] 
[Noted that sometimes -- does not start a comment.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090330133510
 Ignore-this: 78cc358e31c9d5c57d594db75e9e9c92
] 
[Tested Agda with GHC 6.10.2.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090403100826
 Ignore-this: cdfe3fe7385c0902e57242ceb86b33b9
] 
[Added tests for two errors related with the pramga COMPILED
andres.sicard@gmail.com**20090406191551
 Ignore-this: 5f19b34a2920b14bd547a66c4338a9f2
] 
[Draft of HCAR entry for May 2009.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090407150046
 Ignore-this: 5e14e827f0199234bf440a82abe6bf39
] 
[Tested Agda-executable with GHC 6.10.2
andres.sicard@gmail.com**20090407163057
 Ignore-this: cf561304292d07132ee2f2474723b0a7
] 
[Added comment about cabal-install.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090407232653
 Ignore-this: 46cb46f4843023a5b1c9e0c0ac5c5d56
] 
[Moved the --emacs-mode feature to a separate program (agda-mode).
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090407235117
 Ignore-this: 723927505ce634e769cab3f08d177e2f
 + Having a hard-coded path in the main Agda executable seems like a
   bad idea. Now distributors have the option to install the Emacs mode
   wherever they like, and they can choose whether or not to include
   the agda-mode program.
 + The agda-mode program also has a second use: If invoked with the
   "setup" option it tries to add setup code for the Emacs mode to the
   current user's .emacs file.
] 
[Added a type signature
andres.sicard@gmail.com**20090408121911
 Ignore-this: 20af3ef44e6a2070873389d825e5059b
] 
[Added the html test to default test
andres.sicard@gmail.com**20090408131831
 Ignore-this: f0cbc2a50ff65da755ed93a8873a4154
] 
[Default directory for the generated html files (directory htmlAgda)
andres.sicard@gmail.com**20090408134318
 Ignore-this: d5248769c40fab80620fbca1bf68e44e
] 
[Changed the default HTML directory to html.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090408141632
 Ignore-this: 420b244dce84455b15fbb04065ef8055
] 
[Renamed the --malonzodir option to --malonzo-dir for consistency.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090408142240
 Ignore-this: 793ff533293d9486dfd0ee4ec018e45d
] 
[Mentioned the default HTML directory.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090408142719
 Ignore-this: 1940a8523576ac8da2f4badba2547ba3
] 
[Funny typo.
andres.sicard@gmail.com**20090408201929
 Ignore-this: ea0286ba46e8f125a4f7da53549769e9
   There was a symbol (U+00A0) between 'agda' and '--html' (it is not
   visible from the changes shown by darcs).
] 
[Rolled back "typo" patch. (U+00A0 is non-breaking space.)
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090410002441
 Ignore-this: 626f5fb8d4b67a519b620a1126d2e3f2
] 
[Deleted trailing whitespace
andres.sicard@gmail.com**20090409141305
 Ignore-this: 44ad8c6e932bce69e6eb532e74fc41f4
] 
[Made the install target work even if $PREFIX/bin/ is not on the path.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090412130955
 Ignore-this: 1623a1f5c8e03952796c2bb0ab51f6dc
] 
[Updated outdated instruction.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090412132234
 Ignore-this: 44cdc366945ff4923fabd6a8d60f9092
] 
[Made the maximum height of the information window customisable.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090412134018
 Ignore-this: 6ac67caf184602ae6b1a9abf66d7d2c9
] 
[Reduced the default maximum height of the information window.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090412134041
 Ignore-this: 91de225c04e56e087afba59ba850c999
] 
[Made the install target fail if $PREFIX/bin is not on the path.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090412140356
 Ignore-this: 9c252690cace5520e66f389b8bc08f13
 + Reason: Otherwise the code added to .emacs will not work.
 + Added an explanatory text to the output of make install instead.
] 
[Added source-repository sections to the Cabal files.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090408123717
 Ignore-this: f99f5b86838cfd44be5c79ef9c28dfef
] 
[Ctags are no longer generated by default (use -c).
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090415095242
 Ignore-this: 3b2ae7b455360774a90a0e2d2559338e
] 
[Running hTags without arguments shows the help.
andres.sicard.ramirez@gmail.com**20090415054956
 Ignore-this: 3b370a51bfee98301483c7ab42235857
   (It did not show any information)
] 