Auto-Update {userman, adaptingman}
Auto-Update {userman, adaptingman}

href: https://github.com/ProofGeneral/PG/commit/c304d73e09daec54dd8f8cef90df10c0b3d2c2ef

ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io