author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |

Sun, 27 May 2012 23:03:06 +0000 (00:03 +0100) | ||

committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |

Sun, 27 May 2012 23:03:06 +0000 (00:03 +0100) | ||

commit | 28bb86cd8218c491ad4fe845c4547af57b1aecb4 | |

tree | e92650292c2f533ec3c7108cd8190678db651296 | tree | snapshot |

parent | fd4fcf610bbe38767f7aba836c233bdc46e513e3 | commit | diff |

foreign notation: introduce \isforeign

perl -i~ -pe 's/\\patchof(\{[^{}]+\})\s+=\s+\\foreign\b/\\isforeign$1/g' *.tex

and then add the definition in article.tex

perl -i~ -pe 's/\\patchof(\{[^{}]+\})\s+=\s+\\foreign\b/\\isforeign$1/g' *.tex

and then add the definition in article.tex

anticommit.tex | diff | blob | history | |

article.tex | diff | blob | history | |

invariants.tex | diff | blob | history | |

lemmas.tex | diff | blob | history | |

merge.tex | diff | blob | history | |

pseudomerge.tex | diff | blob | history | |

simple.tex | diff | blob | history |