~ubuntu-branches/ubuntu/trusty/agda/trusty

Viewing all changes in revision 16.

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2011-09-03 23:11:17 UTC
  • mfrom: (12.1.2 sid)
  • Revision ID: james.westby@ubuntu.com-20110903231117-xfgr90g1agykydkc
Tags: 2.2.10-4
* [16d953e] Remove old left-around patches
* [af671fe] Explicitly add haskell-mode directory to load path.
  Thanks to Joey Capper for discovering the bug.
* [6fa096d] Update to use my d.o email address
* [f228ca0] Add an alexGetByte function for alex-3.0 compatibility

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: