2008年8月28日 (木) 12:45時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次 ← 古い編集		2008年8月28日 (木) 12:48時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次次の差分 →
8 行 * [[Mizar はじめに\|はじめに]] ** [[Mizar はじめに#Mizarとは\|Mizarとは]] * Mizarのインストール [[Mizar リナックスにおけるインストールの仕方\| リナックスにおけるインストールの仕方]] [[/Windowsにおけるインストールの仕方\|Windowsにおけるインストールの仕方]] * [[Mizar 具体的な使い方\| 具体的な使い方]] [[Mizar 具体的な使い方#ソフトの使い方\|ソフトの使い方]] [[Mizar 具体的な使い方#初等的な数学に対する使用例\|初等的な数学に対する使用例]] * [[Mizar 構文\| 構文]] ** 文法・記号

「Mizar」の版間の差分