関連ページの更新状況
リンク元またはリンク先の変更を表示したいページ名を入力してください。("Category:カテゴリ名"と入力すると下位カテゴリを参照できます)。自分のウォッチリストにあるページの変更は太字で表示されます。
略語のリスト:
- デ
- ウィキデータの編集
- N
- ページの新規作成 (新しいページ一覧も参照)
- m
- 細部の編集
- b
- ボットによる編集
- (±123)
- ページサイズの増減 (バイト単位)
- 一時的にウォッチしているページ
2024年5月13日 (月)
- 差分履歴 Lean (証明アシスタント) 14:48 −23 Kitamado 会話 投稿記録 (→Lean 4: 文章の流れの校正) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 14:46 +1,732 Kitamado 会話 投稿記録 (→Lean 4: The Lean 4 Theorem Prover and Programming Language に基づいて,Lean 4 の特色について追記する) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 14:26 −11 Kitamado 会話 投稿記録 (→歴史: 重複した箇所を削除) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 14:20 +1,667 Kitamado 会話 投稿記録 (Lean の開発の歴史を詳細にする.) タグ: ビジュアルエディター
- 差分履歴 Scheme 04:57 −9 超スメ 会話 投稿記録
2024年5月7日 (火)
- 差分履歴 Clean 01:44 +5 118.22.43.64 会話 ("純粋遅延関数型言語Concurrent Clean" のリンク先は存在しないため Internet Archive を参照するようにした。) タグ: ビジュアルエディター: 中途切替