Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/browser/.cvsignore
author wenzelm
Wed, 11 Oct 2006 00:27:38 +0200
changeset 20963 a7fd8f05a2be
parent 14544 2d0c4c5819d3
permissions -rw-r--r--
added type global_theory -- theory or local_theory; added begin/exit_local_theory; removed theory_context; renamed body_context_node to presentation_context; removed copy (checkpoint twice instead -- avoids unrelated theories);

GraphBrowser.jar
isabelle