Viewing all changes in revision 6.
- Committer: Bazaar Package Importer
- Date: 2009-01-17 18:06:34 UTC
- mfrom: (1.1.5 upstream)
- Revision ID: james.westby@ubuntu.com-20090117180634-mlqarsgb8wzzw7sb
* New upstream release:
- Unicode support.
- Support for Agda's lexing rules (via --agda flag).
* debian/control:
- Add libghc6-utf8-string-dev to the build dependencies.
- Unicode support.
- Support for Agda's lexing rules (via --agda flag).
* debian/control:
- Add libghc6-utf8-string-dev to the build dependencies.
- files added:
- Examples/Fig.lhs
- files modified:
- Directives.lhs
expand all
collapse all
added
removed
