[Java Path Finder][JPF学习笔记][1]在Windows Server上安装JPF

从这篇blog开始，准备记录下自己学习和使用JPF的经验，很多都只是官网Manual的翻译。

在这里：http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/requirements

介绍到，如果要下载JPF的source repositories，必须要使用一个名叫Mercurial的distributed version control system，但是也介绍到，对于Windows类的系统，可以使用TortoiseHg，感觉和TortoiseSVN是类似的软件。可以在这里下载：http://tortoisehg.bitbucket.org 下载时只需要注意对应版本即可。

安装好TortoiseHg以后，在自己希望保存JPF项目的目录下（如C:\Documents and Settings\Administrator\jpf\jpf-core）下点击右键，TortoiseHg--Clone，在弹出的对话框的“源”选项中输入需要安装的JPF组件的URL，如jpf-core在Mercurial repository中的安装路径为：http://babelfish.arc.nasa.gov/hg/jpf/jpf-core，然后开始下载，在漫长的等待之后，jpf-core这个组件就成功下载到本地了。

【连载，未完待续】