| Fri, 11 May 2012 00:45:24 +0200 | blanchet | fixed "real" after they were redefined as a 'quotient_type' | file | diff | annotate |
| Thu, 10 May 2012 12:23:20 +0200 | huffman | temporarily comment out broken nitpick example | file | diff | annotate |
| Fri, 23 Mar 2012 14:17:29 +0100 | kuncar | fix Quotient_Examples | file | diff | annotate |