Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more examples;
authorwenzelm
Fri, 27 Dec 2019 16:02:23 +0100
changeset 71347 3c4c171344f4
parent 71346 7a0a6c56015e
child 71348 857453c0db3d
more examples;
src/Doc/System/Phabricator.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/System/Phabricator.thy	Fri Dec 27 10:54:15 2019 +0100
+++ b/src/Doc/System/Phabricator.thy	Fri Dec 27 16:02:23 2019 +0100
@@ -38,6 +38,8 @@
     \<^item> Phabricator development \<^url>\<open>https://secure.phabricator.com\<close>
     \<^item> Wikimedia development \<^url>\<open>https://phabricator.wikimedia.org\<close>
     \<^item> Blender development \<^url>\<open>https://developer.blender.org\<close>
+    \<^item> LLVM development \<^url>\<open>https://reviews.llvm.org\<close>
+    \<^item> Mozilla development \<^url>\<open>https://phabricator.services.mozilla.com\<close>
     \<^item> Mercurial development \<^url>\<open>https://phab.mercurial-scm.org\<close>
     \<^item> Isabelle development \<^url>\<open>https://isabelle-dev.sketis.net\<close>
isabelle