Mercurial > repo

annotate paste/paste.28266 @ 8427:1fc808cd5b1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<b_jonas> learn can\'t is the most frequent word whose pronunciation varies between /\xc9\x91\xcb\x90/ and /\xc3\xa6/ depending on dialect. The list is: advance after answer ask aunt brass can\'t cast castle chance class command dance demand draft enhance example fast father glass graph grass half last laugh mask master nasty pass past path plant rather sample shan\'t staff task vast
author HackBot
date Thu, 09 Jun 2016 21:28:47 +0000
parents 20e728d1d953
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
368
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
1 2007-12-04.txt:16:34:26: <faxathisia> You can use Proof General mode in emacs
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
2 2007-12-04.txt:16:34:45: <faxathisia> anyway Proof General seems good
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
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.
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
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.
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
5 2010-12-11.txt:23:26:00: <elliott> Proof General is godly.
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
6 2010-12-11.txt:23:26:21: <elliott> "# See the Proof General Eclipse wiki for screenshots of Proof General in Eclipse."
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
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).
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
8 2011-08-05.txt:10:56:07: <elliott> coppro: Umm, Coq is used via Proof General (nicer) or coqtop (interactive command-line system).
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
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.
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
10 2011-08-05.txt:11:00:53: <elliott> Phantom_Hoover: Proof General uses that, right?
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
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?
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
12 2012-04-30.txt:23:12:43: <elliott> Proof General is really, really nice (with a few config tweaks).
20e728d1d953 <elliott> pastelogs proof general
HackBot
parents:
diff changeset
13 2012-04-30.txt:23:12:56: <elliott> shachaf: Because of Proof General.