Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
esystems Copy branch name to clipboard	Feb 4, 2016				Delete branchBranch menu
readme-to-web Copy branch name to clipboard	Feb 11, 2016				Delete branchBranch menu
json Copy branch name to clipboard	Apr 8, 2016				Delete branchBranch menu
coerce Copy branch name to clipboard	Apr 15, 2016				Delete branchBranch menu
implicit-handler Copy branch name to clipboard	Apr 22, 2016				Delete branchBranch menu
universes Copy branch name to clipboard	Jun 10, 2016				Delete branchBranch menu
equality-beta-step Copy branch name to clipboard	Jun 23, 2016				Delete branchBranch menu
haselwarter-let-tt-ascription Copy branch name to clipboard	Dec 22, 2016				Delete branchBranch menu
let-patterns Copy branch name to clipboard	Jan 5, 2017				Delete branchBranch menu
many-judgement-forms Copy branch name to clipboard	Aug 20, 2018				Delete branchBranch menu
general-rules Copy branch name to clipboard	Oct 23, 2018				Delete branchBranch menu
meta-variables Copy branch name to clipboard	Dec 5, 2018				Delete branchBranch menu
leeds-talk Copy branch name to clipboard	Dec 5, 2018				Delete branchBranch menu
constructor-checking-mode Copy branch name to clipboard	Apr 5, 2019				Delete branchBranch menu
fix-letrec Copy branch name to clipboard	Jun 6, 2019				Delete branchBranch menu
congruence-for-meta-variables Copy branch name to clipboard	Aug 12, 2019				Delete branchBranch menu
merge-syntax-and-rules Copy branch name to clipboard	Aug 15, 2019				Delete branchBranch menu
print-atoms-without-questionmarks Copy branch name to clipboard	Nov 21, 2019				Delete branchBranch menu
runners Copy branch name to clipboard	Dec 12, 2019				Delete branchBranch menu
top-level-with Copy branch name to clipboard	Dec 16, 2019				Delete branchBranch menu