Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 30-Sep-2021 11:48:07 JST きゅーけー

   なんで、ACL2 に付属している emacs-acl2.el が display-time を設定しているのかまるで意味が分からない。なんでそんな、display-time を勧めてくるん……？https://github.com/acl2/acl2/blob/master/emacs/emacs-acl2.el#L1107

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 30-Sep-2021 11:49:02 JST きゅーけー

     in reply to

     xfce4 の時計のレイアウトをファジーにして、正確な時間を認識できないようにしたいんだ……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 30-Sep-2021 11:53:09 JST きゅーけー

     in reply to

     テキサス大学の Emacs の ACL2 環境を揃えたいのであって、Emacs で ACL2 を使う環境を提供しようとしているわけではない感を強く感じる。