- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
rP250361
Actions

Description

PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe: yes

Provenance

miwi	Authored on

Parents

rP250360: - Update to 2.9.2

Branches

Unknown

Tags

Unknown

Path

Size

head/

lang/

polyml/

math/

isabelle/

proofgeneral/