Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
4.06.1+rescript Copy branch name to clipboard	Jun 20, 2021				Delete branchBranch menu
simplify Copy branch name to clipboard	Jul 3, 2021				Delete branchBranch menu
unicode Copy branch name to clipboard	Jun 26, 2021				Delete branchBranch menu
9.1 Copy branch name to clipboard	Jun 20, 2021				Delete branchBranch menu
4.06.1+BS Copy branch name to clipboard	Apr 27, 2021				Delete branchBranch menu
experimental_changes_to_matching Copy branch name to clipboard	Dec 17, 2020				Delete branchBranch menu
toplevel_unit Copy branch name to clipboard	Nov 16, 2020				Delete branchBranch menu
compact Copy branch name to clipboard	Oct 29, 2020				Delete branchBranch menu
test_BS_ONLY Copy branch name to clipboard	Jul 16, 2020				Delete branchBranch menu
polyvar_flat Copy branch name to clipboard	Jun 15, 2020				Delete branchBranch menu
translmod_rec Copy branch name to clipboard	Jun 3, 2020				Delete branchBranch menu
variant_record_1 Copy branch name to clipboard	Apr 15, 2020				Delete branchBranch menu
improve_error_message Copy branch name to clipboard	Mar 17, 2020				Delete branchBranch menu
tmp Copy branch name to clipboard	Feb 15, 2020				Delete branchBranch menu
separate_oo_from_uncurry Copy branch name to clipboard	Feb 3, 2020				Delete branchBranch menu
4.02.3+BS Copy branch name to clipboard	Dec 3, 2019				Delete branchBranch menu
refine_block_meta_data Copy branch name to clipboard	Oct 30, 2019				Delete branchBranch menu
4.02.3+BSOLD Copy branch name to clipboard	Sep 24, 2019				Delete branchBranch menu
compilation_of_switch_as_if_then_else Copy branch name to clipboard	Sep 20, 2019				Delete branchBranch menu
conservative_name_update Copy branch name to clipboard	Sep 16, 2019				Delete branchBranch menu