Are you sure you want to leave Paper?
Continue to http://www.di.uminho.pt/~mjf/VMprover/Xubuntu-64bit.README
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^
