http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=MediaWiki%3ASitenotice 2026-04-04T04:29:55Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=167218&oldid=prev 2024-12-28T09:19:23Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年12月28日 (六) 09:19的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[<del class="diffchange diffchange-inline">F Sharp</del>|<del class="diffchange diffchange-inline">F#</del>]]/[[<del class="diffchange diffchange-inline">lisp </del>ecosystem|<del class="diffchange diffchange-inline">Lisp</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2<ins class="diffchange diffchange-inline">]]/[[Agda</ins>]], [[c++ ecosystem|C++]]/[[<ins class="diffchange diffchange-inline">lisp ecosystem</ins>|<ins class="diffchange diffchange-inline">Lisp</ins>]]/[[<ins class="diffchange diffchange-inline">Haskell </ins>ecosystem|<ins class="diffchange diffchange-inline">Haskell</ins>]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=167071&oldid=prev 2024-08-22T00:58:48Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年8月22日 (四) 00:58的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[<del class="diffchange diffchange-inline">OCaml</del>]]/[[lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[<ins class="diffchange diffchange-inline">F Sharp|F#</ins>]]/[[lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=167035&oldid=prev 2024-08-12T00:12:33Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年8月12日 (一) 00:12的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[<del class="diffchange diffchange-inline">OCaml ecosystem|</del>OCaml]]/[[lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[OCaml]]/[[lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=167034&oldid=prev 2024-08-12T00:10:52Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年8月12日 (一) 00:10的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[<del class="diffchange diffchange-inline">erlang </del>ecosystem|<del class="diffchange diffchange-inline">Erlang</del>]]/[[lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[ACL2]], [[c++ ecosystem|C++]]/[[<ins class="diffchange diffchange-inline">OCaml </ins>ecosystem|<ins class="diffchange diffchange-inline">OCaml</ins>]]/[[lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=167033&oldid=prev 2024-08-12T00:09:55Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2024年8月12日 (一) 00:09的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[<del class="diffchange diffchange-inline">Agda</del>]], [[c++ ecosystem|C++]]/[[erlang ecosystem|Erlang]]/[[lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[<ins class="diffchange diffchange-inline">ACL2</ins>]], [[c++ ecosystem|C++]]/[[erlang ecosystem|Erlang]]/[[lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=166566&oldid=prev 2023-01-29T10:37:19Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2023年1月29日 (日) 10:37的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[<del class="diffchange diffchange-inline">erlang </del>ecosystem|<del class="diffchange diffchange-inline">Erlang</del>]]/[[<del class="diffchange diffchange-inline">Haskell </del>ecosystem|<del class="diffchange diffchange-inline">Haskell</del>]]/[[<del class="diffchange diffchange-inline">c++ </del>ecosystem|<del class="diffchange diffchange-inline">C++</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[<ins class="diffchange diffchange-inline">c++ </ins>ecosystem|<ins class="diffchange diffchange-inline">C++</ins>]]/[[<ins class="diffchange diffchange-inline">erlang </ins>ecosystem|<ins class="diffchange diffchange-inline">Erlang</ins>]]/[[<ins class="diffchange diffchange-inline">lisp </ins>ecosystem|<ins class="diffchange diffchange-inline">Lisp</ins>]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=166375&oldid=prev 2022-11-11T03:52:06Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年11月11日 (五) 03:52的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[Haskell ecosystem|Haskell]]/[[<del class="diffchange diffchange-inline">Lisp </del>ecosystem|<del class="diffchange diffchange-inline">Lisp</del>]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[Haskell ecosystem|Haskell]]/[[<ins class="diffchange diffchange-inline">c++ </ins>ecosystem|<ins class="diffchange diffchange-inline">C++</ins>]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=166196&oldid=prev 2022-10-17T12:25:11Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年10月17日 (一) 12:25的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[<del class="diffchange diffchange-inline">Elixir</del>]]/[[Lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[<ins class="diffchange diffchange-inline">Haskell ecosystem|Haskell</ins>]]/[[Lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=166146&oldid=prev 2022-10-15T08:19:45Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年10月15日 (六) 08:19的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle ]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[Elixir]]/[[Lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[Isabelle]]/[[ML]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[Elixir]]/[[Lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen http://wiki.huihoo.com/wiki/?title=MediaWiki:Sitenotice&diff=166145&oldid=prev 2022-10-15T08:18:47Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←上一版本</td> <td colspan='2' style="background-color: white; color:black;">2022年10月15日 (六) 08:18的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第1行：</td> <td colspan="2" class="diff-lineno">第1行：</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[<del class="diffchange diffchange-inline">Maxima</del>]]/[[<del class="diffchange diffchange-inline">ACL2</del>]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[Elixir]]/[[Lisp ecosystem|Lisp]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[赞助灰狐|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Formal mathematics]]/[[<ins class="diffchange diffchange-inline">Isabelle </ins>]]/[[<ins class="diffchange diffchange-inline">ML</ins>]], [[Formal verification]]/[[Coq]]/[[Agda]], [[erlang ecosystem|Erlang]]/[[Elixir]]/[[Lisp ecosystem|Lisp]]</div></td></tr> </table>

Allen