リダイレクトフィクサー~jawikibooksの投稿記録
リダイレクトフィクサー~jawikibooks トーク ブロック記録 アップロード 記録 グローバルブロック記録 グローバルアカウント 不正利用記録
利用者の編集は6回。 2008年9月1日 (月)にアカウント作成。
利用者の編集は6回。 2008年9月1日 (月)にアカウント作成。
2008年9月18日 (木)
- 11:012008年9月18日 (木) 11:01 差分 履歴 +10 Mizar 置換 Mizar/置換 が移動されているため、リダイレクト先を移動先の Mizar/本体部/置換 へ変更しました。 最新
2008年9月8日 (月)
- 07:202008年9月8日 (月) 07:20 差分 履歴 +10 Mizar/変数定義 Mizar/定義式/変数定義 が移動されているため、リダイレクト先を移動先の Mizar/本体部/定義式/変数定義 へ変更しました。 最新
- 07:202008年9月8日 (月) 07:20 差分 履歴 +10 Mizar 変数定義 Mizar/定義式/変数定義 が移動されているため、リダイレクト先を移動先の Mizar/本体部/定義式/変数定義 へ変更しました。 最新
2008年9月1日 (月)
- 14:032008年9月1日 (月) 14:03 差分 履歴 0 他言語との比較 Mizar 他言語との比較 が移動されているため、リダイレクト先を移動先の Mizar/他言語との比較 へ変更しました。 最新
- 13:222008年9月1日 (月) 13:22 差分 履歴 +10 Mizar 証明したい式 Mizar/証明したい式 が移動されているため、リダイレクト先を移動先の Mizar/本体部/証明したい式 へ変更しました。 最新
- 13:202008年9月1日 (月) 13:20 差分 履歴 +10 Mizar 変数定義 Mizar/変数定義 が移動されているため、リダイレクト先を移動先の Mizar/定義式/変数定義 へ変更しました。
