Mercurial > repo

view paste/paste.16467 @ 2652:18bc81c0b129

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Jafet> echo -e \'\\x7fELF\\x02\\x01\\x01\\0\\0\\0\\0\\0\\0\\0\\0\\0\\x02\\0>\\0\\x01\\0\\0\\0x\\0@\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\0\\0\\xc8\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0@\\08\\0\\x01\\0@\\0\\x03\\0\\x02\\0\\x01\\0\\0\\0\\x05\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\0\\0@\\0\\0\\0\\0\\0\\xb6\\0\\0\\0\\0\\0\\0\\0\\xb6\\0\\0\\0\\0\\0\\0\\0\\0\\0 \\0\\0\\0\\0\\0H\\xc7\\xc7\\x01\\0\\0\\0H\\x8bt$\\x10H\\x85\\xf6u\\x0dH\\xc7\\xc6\\xb4\\0@\\0H\\x8dW\\x01\\xeb\\x17H\\x89\\xf2\\xeb\\x03H\\xff\\xc2\\x8a\\x0a\\x84\\xc9u\\xf7\\xc6\\x02\\x0aH\\xff\\xc2H)\\xf2H\\x89\\xf8\\x0f\\x05\\xeb\\xf9y\\x0a\' > b
author HackBot
date Sat, 13 Apr 2013 23:52:32 +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