Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
fix-sharing Copy branch name to clipboard	Apr 4, 2012				Delete branchBranch menu
8.3pl2+recommended-patches Copy branch name to clipboard	Oct 16, 2012				Delete branchBranch menu
8.3+recommended-patches Copy branch name to clipboard	Nov 12, 2013				Delete branchBranch menu
polyproj Copy branch name to clipboard	Jan 18, 2014				Delete branchBranch menu
trunk-patched Copy branch name to clipboard	May 25, 2014				Delete branchBranch menu
trunk-patched-3 Copy branch name to clipboard	Jul 2, 2014				Delete branchBranch menu
fix-type-in-type-option Copy branch name to clipboard	Jan 27, 2015				Delete branchBranch menu
type-in-type-usage Copy branch name to clipboard	Jan 27, 2015				Delete branchBranch menu
V8.5beta1+changes Copy branch name to clipboard	Feb 3, 2015				Delete branchBranch menu
trunk+changes Copy branch name to clipboard	Feb 3, 2015				Delete branchBranch menu
trunk Copy branch name to clipboard	Jul 6, 2016				Delete branchBranch menu
v8.5 Copy branch name to clipboard	Jul 6, 2016				Delete branchBranch menu
fix-coq_makefile Copy branch name to clipboard	Jul 6, 2016				Delete branchBranch menu
primitive-projections Copy branch name to clipboard	Sep 28, 2016				Delete branchBranch menu
univ-cumul-20180204 Copy branch name to clipboard	Feb 21, 2018				Delete branchBranch menu
fix-issue-8196 Copy branch name to clipboard	Mar 7, 2019				Delete branchBranch menu
8.3pl2 Copy branch name to clipboard	Jul 26, 2024				Delete branchBranch menu
gh-pages Copy branch name to clipboard	Jul 26, 2024				Delete branchBranch menu
hott-development Copy branch name to clipboard	Jul 26, 2024				Delete branchBranch menu
trunk-patched-update Copy branch name to clipboard	Jul 26, 2024				Delete branchBranch menu