I have to install a *.sty file manually. So I followed the manual and created a directory:
C:\Local TeX Files\tex\latex\misc
Then copied the *.sty file here in the misc-folder. Then I opened Start>MikTeX 2.9 >Maintenance>Settings
and added the path
C:\Local TeX Files
into the Roots tab. It is there, even after closing Settings. The problem is that the *.sty file does not show up in the MiKTeX Package Manager. So I can't install it. What went wrong?The *.sty file is downloaded from here:
http://research.nii.ac.jp/~tatsuta/proof-sty.html
I'm using Vista.