[BugFix]

Mac版配布パッケージ作成スクリプトを実行した時に
マニュアル内にtexソースが含まれていたのを修正
[Release]

PEN ver 1.20_10 のリリース
[Release]

PEN ver 1.20_11 のリリース
[Release]

PEN ver 1.20_12 のリリース
[Fix]

.DS_Store をコミットしないように修正
[Release]

PEN ver 1.20_13 のリリース
[Move]

Antファイルのファイル名変更
[Fix]

build用スクリプトをAntファイルに一本化
[Fix]

JavaDocコメントで不要なパラメータがあったので削除
[Fix]

ワーニングが出ていたのを修正
[New]

GitHub用のREADMEファイル作成
[Merge]

Merge branch 'master' into dev-1.20

Conflicts:
	.settings/org.eclipse.core.resources.prefs