[TAG Version 1.0.0.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050601004813] 
<
[Minor change to make the tests compile under GHC 6.2.2.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050601004137] 
[Added descriptive output at the end of the test run.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050601001523] 
[Added a note about the test suite.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050601000939] 
[Added section about possible future work.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050601000729] 
[Added section headline "Building".
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531235852] 
[Added section about known bugs (of which there are none).
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531235834] 
[Improved output of collected strings in runQuickCheckTests.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531205644] 
[Wrote tests for SemanticOrd.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531204733] 
[Improved isPartial/TotalOrderOperators by requiring new generator.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531204515] 
[Modified isCongruence and eqIsCongruence.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531204158
 * Removed need for Arbitrary instance by requiring explicit generator
   instead.
 * Moved test of (/=)-style function to isCongruence.
] 
[Exported pair, and added two related helper functions.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531203756] 
[Added tests for associativity, commutativity and idempotence.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531203429] 
[Added fixities for join and meet operators.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531203323] 
[Documented experimental nature of implicit parameter usage.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050531203257] 
[Modularised hyperlinking to GHC packages' documentation.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530203825] 
[Now tests that negative "natural numbers" are never encountered.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530193039] 
[Added tests for fromEnum and toEnum.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530143249] 
[Fixed bug due to default behaviour of pred and succ (they go via Ints).
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530143214
 Added specific instances.
 Added tests that catch bug.
] 
[Turned off defaulting in Nat and Nat.Tests to avoid surprises.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530142911
 Added necessary missing type signature that was detected.
] 
[Improved documentation and naming.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530115200] 
[Moved import of Text.Show.Functions.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530112726
 Compile failed without Text.Show.Functions imported in TestUtilities.
] 
[Syntactic fix making Haddock able to parse the module.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530112010] 
[Added type signatures to exported functions.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530111701
 For the benefit of Haddock.
] 
[Added a list of hidden sources, for reference and possible later use.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530111511] 
[Fixed Haddock syntax error.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527153812] 
[Added order related tests.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527153706
 Used one of them in Nat.Tests.
] 
[Replaced use of collect by generator.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527152439] 
[Added general tests for equivalence relations and congruences.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527140952
 Used such a test in Nat.Tests.
] 
[Converted unnecessary Show instance to local function.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527132450] 
[Factored out some general testing functionality into TestUtilities.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527132206] 
[Split up the tests into separate modules.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527130827
 Modified the Nat tests so that a boolean result can be retrieved.
] 
[Added a module which can be used to test the library while building.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050527130515
 Requires Template Haskell.
] 
[chasing-bottoms.tar.gz -> ChasingBottoms.tar.gz.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526115517] 
[Added dist, .*-config and *.processed.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526115424] 
[Added a dist target, used by darcs dist.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526114809
 Moved removal of processed files to this target, which also removes
 the .boring file.
] 
[The .processed suffix is now given by a variable and not hard-coded.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526114456] 
[Preprocessed files are removed after the documentation has been built.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526105051] 
[Modified Makefile so docs can be built on CS system.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050526104538
 When my web page is generated the library is automatically checked out
 and the documentation built.
] 
[Improved layout/wording in customisation section.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050523155437] 
[Made it possible to choose which copy of Haddock should be used.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050523155244] 
[Added a README file.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050522202605] 
[Changed URL of tar ball.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050522202519] 
[Cabalised library.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050522202425] 
[Improved Haddock aspects of documentation.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050522193935
 Most notable changes:
 * Now --read-interface is used.
 * Files are preprocessed using cpphs before Haddock is run.
] 
[Changed spelling: license -> licence.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050522174817
 (Except in fields with more or less standardised names.)
] 
[Removed dependence on haskell98 package.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050521103937] 
[Removed unnecessary imports.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050521103907] 
[Changed name from ChasingBottoms to Test.ChasingBottoms.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050521102315] 
[The text now also mentions GHC 6.4.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050521100953] 
[Updated copyright statements. Added 2005.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050521100923] 
[Added tests for Nat.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520175718] 
[Considerably improved efficiency of coarbitrary.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520175657] 
[Removed a space.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520170524] 
[Improved documentation.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520170445
 Made Haddock aware of documentation of natrec and foldN.
 Specified foldN in terms of natrec.
] 
[Added Emacs working backup files (#...#).
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520170347] 
[Made it easier to check results of individual tests.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520163427
 (Moved two ands to different positions.)
] 
[Ported library to GHC 6.4.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520163208
 The library now compiles under both 6.2.2 and 6.4 since a bunch of
 preprocessor directives were added.
] 
[Moved tests from IsType to Tests.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520162045] 
[Added .hi and .o to .boring.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050520160754] 
[Added chasing-bottoms.tar.gz.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050519180035] 
[Now darcs dist can be used to build a tar ball.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050519173918
 Moved some files to the top-level directory.
 Changed the "package" script into a Makefile which only handles
 building the documentation.
] 
[Added boring file.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050519173058] 
[Removed files not related to ChasingBottoms.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050519162416] 
[TAG Imported from CVS tree.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050519162406] 
> {
}