1 /* Title: Pure/Concurrent/synchronized.scala
2 Module: PIDE
3 Author: Makarius
2 Author: Makarius
4
3
5 Synchronized variables.
4 Synchronized variables.
6 */
5 */
7
6