2012-05-27 | Ian Jackson | foreign notation: introduce \isforeign | blob | commitdiff | raw |
2012-05-27 | Ian Jackson | foreign notation: change \bot to \foreign everywhere | blob | commitdiff | raw | diff to current |
2012-05-27 | Ian Jackson | psuedomerge: initial version | blob | commitdiff | raw | diff to current |