Thanks, Vincent, but I really was wrong, I just made an error in describing my mistake. You're right (and I knew it):
if you just type `&1 + 1`, you still get the exception: My error was thinking that the presence of preterm_of_term would keep `&1 + 1` from being evaluated, and that was wrong. I learned about parse_term from Freek, as a way to emulate backquotes into miz3, which doesn't allow them. But outside of miz3, doesn't parse_term mean the same as backquotes? -- Best, Bill ------------------------------------------------------------------------------ Minimize network downtime and maximize team effectiveness. Reduce network management and security costs.Learn how to hire the most talented Cisco Certified professionals. Visit the Employer Resources Portal http://www.cisco.com/web/learning/employer_resources/index.html _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
