Fri, 16 Apr 2004 20:33:16 +0200 Moved ring stuff from ex into Ring_and_Field.
nipkow [Fri, 16 Apr 2004 20:33:16 +0200] rev 14603
Moved ring stuff from ex into Ring_and_Field.
Fri, 16 Apr 2004 19:04:17 +0200 Added entry for quickcheck command.
berghofe [Fri, 16 Apr 2004 19:04:17 +0200] rev 14602
Added entry for quickcheck command.
Fri, 16 Apr 2004 18:55:25 +0200 Replaced quote by Library.quote, since quote now refers to Symbol.quote
berghofe [Fri, 16 Apr 2004 18:55:25 +0200] rev 14601
Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:48:13 +0200 Replaced quote by Pretty.quote / Library.quote, since quote now refers to Symbol.quote
berghofe [Fri, 16 Apr 2004 18:48:13 +0200] rev 14600
Replaced quote by Pretty.quote / Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:47:00 +0200 Replaced quote by Pretty.quote.
berghofe [Fri, 16 Apr 2004 18:47:00 +0200] rev 14599
Replaced quote by Pretty.quote.
Fri, 16 Apr 2004 18:45:56 +0200 Replaced quote by Library.quote, since quote now refers to Symbol.quote
berghofe [Fri, 16 Apr 2004 18:45:56 +0200] rev 14598
Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:44:39 +0200 Added translate function to String structure.
berghofe [Fri, 16 Apr 2004 18:44:39 +0200] rev 14597
Added translate function to String structure.
Fri, 16 Apr 2004 18:43:36 +0200 - tuned text function
berghofe [Fri, 16 Apr 2004 18:43:36 +0200] rev 14596
- tuned text function - Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:42:02 +0200 Added variants of functions quote and commas_quote that allow escaping
berghofe [Fri, 16 Apr 2004 18:42:02 +0200] rev 14595
Added variants of functions quote and commas_quote that allow escaping of " in error messages etc. This is useful for PGIP output.
Fri, 16 Apr 2004 18:40:21 +0200 Moved symbol.ML to front of file list (due to quote function).
berghofe [Fri, 16 Apr 2004 18:40:21 +0200] rev 14594
Moved symbol.ML to front of file list (due to quote function).
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip