Vincent: >Then each time you type something that starts with a semi-colon (e.g., >`;blabla`), you obtain the intermediate preterm instead of the term.
Hey! miz3 already uses `;...` for proofs. So maybe it's less confusing if you use another symbol to get preterms? Freek ------------------------------------------------------------------------------ Own the Future-Intel(R) Level Up Game Demo Contest 2013 Rise to greatness in Intel's independent game demo contest. Compete for recognition, cash, and the chance to get your game on Steam. $5K grand prize plus 10 genre and skill prizes. Submit your demo by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
