Mercurial > repo
comparison paste/paste.28266 @ 368:20e728d1d953
<elliott> pastelogs proof general
author | HackBot |
---|---|
date | Mon, 30 Apr 2012 23:15:12 +0000 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
367:1e9ba72e22bc | 368:20e728d1d953 |
---|---|
1 2007-12-04.txt:16:34:26: <faxathisia> You can use Proof General mode in emacs | |
2 2007-12-04.txt:16:34:45: <faxathisia> anyway Proof General seems good | |
3 2010-07-25.txt:16:02:26: <aliseiphone> Phantom_Hoover: My Coq recommendation: Use Emacs with Proof General. Three window mode and electric mode. | |
4 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. | |
5 2010-12-11.txt:23:26:00: <elliott> Proof General is godly. | |
6 2010-12-11.txt:23:26:21: <elliott> "# See the Proof General Eclipse wiki for screenshots of Proof General in Eclipse." | |
7 2010-12-11.txt:23:40:32: <elliott> Phantom_Hoover: BTW, Proof General can list all the tactics in the system (there's fewer than you think). | |
8 2011-08-05.txt:10:56:07: <elliott> coppro: Umm, Coq is used via Proof General (nicer) or coqtop (interactive command-line system). | |
9 2011-08-05.txt:10:57:37: <elliott> Proof General -- built on top of Emacs -- is by far the nicest way to use Coq. | |
10 2011-08-05.txt:11:00:53: <elliott> Phantom_Hoover: Proof General uses that, right? | |
11 2011-11-16.txt:20:20:31: <Phantom__Hoover> <elliott> http://i.imgur.com/1uOhf.png ;; this is the first time I have ever used three windows in Emacs ← You've never used Proof General? | |
12 2012-04-30.txt:23:12:43: <elliott> Proof General is really, really nice (with a few config tweaks). | |
13 2012-04-30.txt:23:12:56: <elliott> shachaf: Because of Proof General. |