#
e234dcdc |
|
23-Mar-2003 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Got rid of QConv, and made all conversions do the "raise exception to indicate reflexivity" thing. (Also fixed bug in new implementation of ABS_CONV that attempted renaming on failure of conv, and not just failure of ABS.) Next step will be to rework the simplifier's implementation so that it also uses Conv.UNCHANGED, rather than in its own internal version of the same. This will let the simplifier play efficiently with others. May also assess making ABS_CONV not do renaming, and give the rewriter its own special traverser. This might make some things more efficient.
|
#
a4c199c6 |
|
13-Dec-2001 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Huge number of check-ins, implementing change to .doc file syntax. Now the rule for text within braces is that it appears as given, but that braces must balance. If you want an unbalanced brace, you can use \lbrace or \rbrace. No existing .doc file uses unbalanced braces. Also, there is now no need to use \noindent. In fact, doing so will get you a complaint from the parser. Similarly, use of \ or {} characters outside of verbatim text blocks will cause griping. All of the new files have been generated by a parse-then-print process from the old files, and it's possible there are errors. If you ever have a spare moment, casting your eye over a random selection of these might help to find errors.
|