Mercurial > repo
view paste/paste.16467 @ 3418:d0d4a6a6ad9b
<boily> learn ph\xe1\xbb\x9f l\xc3\xa0 m\xe1\xbb\x99t m\xc3\xb3n \xc4\x83n truy\xe1\xbb\x81n th\xe1\xbb\x91ng c\xe1\xbb\xa7a Vi\xe1\xbb\x87t Nam, c\xc5\xa9ng c\xc3\xb3 th\xe1\xbb\x83 xem l\xc3\xa0 m\xe1\xbb\x99t trong nh\xe1\xbb\xafng m\xc3\xb3n \xc4\x83n \xc4\x91\xe1\xba\xb7c tr\xc6\xb0ng nh\xe1\xba\xa5t cho \xe1\xba\xa9m th\xe1\xbb\xb1c Vi\xe1\xbb\x87t Nam.
author | HackBot |
---|---|
date | Thu, 15 Aug 2013 19:52:26 +0000 |
parents | b30df78e892e |
children |
line wrap: on
line source
2010-08-21.txt:00:24:22: <botte> coq's syntax is better than agda for people who actually use it. interactive development is possible with Proof General; much nicer than Agda's mode. Proving things in Agda is almost impossible; it is not developed for that at all, while Coq is built around it. ProofGeneral makes it even nicer. 2010-08-21.txt:17:24:29: <alise> use proofgeneral with electric mode and three window mode 2010-08-21.txt:17:25:05: <alise> with proofgeneral electric three-window you have one window for your file 2010-08-21.txt:17:26:54: <Phantom_Hoover> alise, I haven't tried Proofgeneral yet, though. 2010-08-22.txt:21:59:25: <Vonlebio> OK, why has Proofgeneral's indentation behaviour changed all of a sudden? 2010-11-28.txt:17:45:30: * Phantom_Hoover decides to reduce his confusion with ProofGeneral steppery. 2011-04-07.txt:20:07:30: <elliott> proofgeneral's interface to the toplevel. 2011-04-07.txt:20:08:19: <elliott> augur: turn on three window mode and electric terminator in proofgeneral