ページ名の変更
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
TeX/Font/FontInst/grkfinst
の名前を変更します。
新しい名前:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
