Greasy Fork

Shorten Names for Proving for Fun

Hide annoyingly long names.

Install this script ?

Ask a question, post a review, or report the script.

Author

Daily installs

0

Total installs

1

Ratings

0 0 0

Version

0.1

Created

2022-11-28

Updated

2022-11-28

License

Applies to

tum.de

Shorten long names on do.proof.in.tum.de. Hover to show full name.