Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:53:51 JST きゅーけー

   私の ACL2 の記事がテキストブラウザをメインで使う人にとって親切でないことが判明したので対処方を考えたい。ACL2 の出力は別のページで確認する仕様を検討してる。その方が普通のブラウザでも見やすい気がするし。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 22:00:54 JST きゅーけー

     in reply to

     最初の出力から連番で ACL2 の出力だけのページを作るか？そうすれば中クリックで別タブで ACL2 の出力をみつつ記事が見れてよさそう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 22:01:37 JST きゅーけー

     in reply to

     連番は ACL2 の出力へのリンクをどこかに貼る人がでてくるとちょっとつらいな。でもそんなことする人いるかな……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 22:20:15 JST きゅーけー

     in reply to

     そもそも、ACL2 の出力が全部 org-mode のファイルに入っちゃうの。ファイルがでかくなって嫌なんだよな。なんか 8000 行くらいになっちゃって Emacs でファイルを保存するのに体感 1 〜 3 秒くらいかかってる気がする。