2008年8月28日 (木) 18:22時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次 ← 古い編集		2008年8月28日 (木) 18:25時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次次の差分 →
9 行 ** [[Mizar はじめに#Mizarとは\|Mizarとは]] * [[Mizar 構文\| 構文]] 文法・記号 [[Mizar article\|article]] *** [[Mizar 環境部\|環境部]] 20 ⟶ 19行目: * 索引 [http://markun.cs.shinshu-u.ac.jp/Mirror/search_mml.html Article検索] {{stub}}

「Mizar」の版間の差分