じぇねらるたんのステッカーをいただけることになったので, ProofGeneral をインストールしてみた記録. ついでに Emacs も最新の 24.3.1 にしてみた. ProofGeneral についてはこちら. → http://proofgeneral.inf.ed.ac.uk/download Emacs 24.3.1 はここからビルド済みのものをダウンロード. → http://emacsformacosx.com これですんなりインストールが済むかと思いきや, バイトコンパイルでエラーが出た. In toplevel form: generic/pg-response.el:104:23:Error: `special-display-regexps' is an obsolete variable (as of 24.3); use `display-buffer-ali
タグ
- すべて
- .NET (60)
- 2ch (149)
- 3D (56)
- API (301)
- AR (61)
- Ad (324)
- AdventCalendar (30)
- Agda (49)
- AngularJS (130)
- Ansible (68)
- Arrow (42)
- Atom (31)
- Azure (31)
- Backbone (99)
- Bitcoin (87)
- Blog (99)
- Bluetooth (40)
- Bookmarklet (33)
- C (193)
- C++ (267)
- CDN (28)
- CG (30)
- CGI (39)
- CI (37)
- CMS (41)
- CPAN (640)
- CPU (52)
- CSS (395)
- CentOS (65)
- Chef (60)
- Chrome (247)
- ChromeOS (40)
- CoffeeScript (235)
- Coq (134)
- CouchApp (38)
- CouchDB (291)
- Couchbase (43)
- DB (162)
- DBI (79)
- DJ (370)
- DNS (85)
- DOM (32)
- DSL (77)
- DSP (232)
- DeNA (53)
- Docker (271)
- EC (337)
- EC2 (99)
- ECMAScript (51)
- Emacs (124)
- Erlang (235)
- Excel (47)
- FACT (66)
- FFI (43)
- FPGA (49)
- Firefox (249)
- GC (65)
- GHC (170)
- GPU (55)
- GUI (96)
- Gearman (40)
- Geolocation (72)
- Git (310)
- Gmail (59)
- Go (213)
- GoogleAnalytics (71)
- GoogleAppEngine (82)
- GraphDB (53)
- HP (39)
- HTML (92)
- HTML5 (308)
- HTTP (331)
- Hadoop (57)
- Hardware (59)
- Homebrew (32)
- IDE (109)
- IE (88)
- IRC (28)
- Instagram (44)
- IntelliJ (59)
- JSON (149)
- JSX (30)
- JVM (86)
- Java (593)
- Jenkins (67)
- KORG (38)
- KVS (80)
- Kinect (72)
- LINE (38)
- LLVM (81)
- Lens (40)
- Like (36)
- Lint (32)
- Linux (357)
- Log (116)
- Lua (42)
- MVC (57)
- Mac (681)
- MapReduce (51)
- Mobile (510)
- MongoDB (128)
- MovableType (45)
- Network (239)
- Node.js (1685)
- OAuth (83)
- OCaml (192)
- OOP (67)
- ObjectiveC (187)
- Oculus (28)
- OpenID (118)
- OpenSocial (28)
- P2P (42)
- PDF (148)
- PHP (416)
- Pd (32)
- Perl (1371)
- Plack (49)
- PureScript (28)
- R (57)
- REST (90)
- RSS (49)
- RTB (35)
- Rails (297)
- ReactiveProgramming (58)
- Redis (156)
- Redmine (31)
- Riak (37)
- Ruby (958)
- RubyMotion (79)
- Rust (40)
- S3 (57)
- SBM (31)
- SEO (99)
- SNS (237)
- SPDY (34)
- SQL (89)
- SSD (54)
- SSL (95)
- STM (29)
- SVG (34)
- Safari (29)
- Scala (552)
- Selenium (37)
- Software (288)
- SoundCloud (66)
- Subversion (59)
- Surface (59)
- TV (78)
- Template (134)
- Test (587)
- Thread (45)
- Tips (258)
- Traktor (48)
- TypeScript (30)
- Tシャツ (44)
- UI (638)
- URL (31)
- US (35)
- Unity (41)
- V8 (89)
- VMware (70)
- VPS (53)
- Vagrant (106)
- Vim (377)
- VisualStudio (53)
- WANT (173)
- Web (145)
- WebGL (38)
- WebServices (1567)
- WebSocket (162)
- Wi-Fi (66)
- Wikileaks (63)
- WindowManager (32)
- Windows10 (51)
- Windows8 (58)
- WindowsMobile (98)
- WordPress (43)
- XML (53)
- XSS (41)
- Xcode (51)
- Xen (34)
- Yesod (90)
- ZFS (41)
- academic (62)
- actor (36)
- addon (47)
- adobe (83)
- ajax (94)
- akka (38)
- algorithm (129)
- amazon (342)
- analytics (57)
- android (532)
- apache (122)
- app-store (40)
- apple (184)
- applicative (36)
- architecture (68)
- arduino (81)
- art (170)
- au (29)
- audio (177)
- aws (115)
- backup (99)
- bandcamp (132)
- bar (48)
- benchmark (118)
- binary (35)
- book (263)
- browser (133)
- business (311)
- cabal (67)
- cache (45)
- cafe (197)
- cakephp (71)
- calendar (73)
- camera (102)
- canvas (76)
- catalyst (154)
- category-theory (70)
- chat (35)
- china (39)
- clojure (253)
- clojurescript (30)
- cloud (148)
- coding-style (57)
- coffee (40)
- community (72)
- compiler (155)
- composition (32)
- concurrent (260)
- conduit (31)
- config (39)
- continuation (33)
- cookie (72)
- cookpad (58)
- cron (29)
- crypto (46)
- csharp (31)
- cui (80)
- curation (32)
- daemon (30)
- data-mining (72)
- datetime (43)
- debug (264)
- deploy (82)
- design (690)
- diff (35)
- display (58)
- distributed (71)
- docomo (50)
- document (142)
- dropbox (82)
- drum (50)
- ePub (89)
- ec-cube (48)
- eclipse (93)
- economics (54)
- editor (146)
- effector (42)
- electronic (1036)
- english (127)
- error (40)
- event (254)
- evernote (99)
- exception (42)
- express (48)
- extension (77)
- facebook (312)
- fashion (366)
- file (35)
- flash (239)
- fluentd (92)
- font (87)
- football (76)
- form (57)
- framework (433)
- fsharp (65)
- functional (213)
- gadget (185)
- gallery (56)
- game (377)
- generator (45)
- girl (59)
- github (204)
- google (541)
- googlemaps (40)
- graph (81)
- greasemonkey (29)
- gree (47)
- guitar (71)
- gundam (39)
- hacker (51)
- handcraft (74)
- haskell (2231)
- hatena (63)
- headphone (46)
- health (217)
- heroku (110)
- hiphop (229)
- hosting (70)
- iCloud (30)
- iOS (505)
- iPad (438)
- iPhone (787)
- iTunes (135)
- infra (350)
- internet (198)
- interview (395)
- iteratee (45)
- jQuery (443)
- javascript (2569)
- kernel (34)
- keyboard (111)
- kindle (139)
- lambda (38)
- language (211)
- latex (67)
- lifehack (54)
- lisp (104)
- livedoor (32)
- logic (45)
- lxc (36)
- macbook (84)
- machine-learning (104)
- magazine (53)
- mail (147)
- maps (54)
- markdown (106)
- marketing (115)
- math (216)
- media (86)
- memcached (57)
- memory (30)
- message-pack (48)
- message-queue (44)
- metrics (30)
- microsoft (136)
- midi (64)
- mixi (112)
- mock (31)
- module (130)
- monad (166)
- monitoring (147)
- moose (41)
- movie (109)
- mp3 (302)
- music (3771)
- myspace (51)
- mysql (193)
- neta (222)
- news (35)
- nginx (146)
- notebook (56)
- notification (31)
- npm (54)
- office (38)
- opensource (85)
- parallel (81)
- parsec (43)
- parser (123)
- pattern-matching (47)
- paypal (39)
- photoshop (51)
- plagger (45)
- playframework (71)
- politics (190)
- postgresql (161)
- presentation (80)
- privacy (184)
- profiling (53)
- programming (323)
- protocol (31)
- proxy (42)
- python (251)
- quickcheck (57)
- rack (29)
- recipe (145)
- regex (65)
- reggae (38)
- repl (36)
- reverse-proxy (37)
- review (334)
- robot (104)
- rock (548)
- salesforce (59)
- sampler (49)
- sbt (49)
- scan (33)
- scheme (81)
- science (87)
- scrape (37)
- security (456)
- sensor (32)
- share (155)
- shell (216)
- sinatra (67)
- sketch (31)
- skype (40)
- socket.io (107)
- softbank (42)
- sony (72)
- speaker (33)
- sports (109)
- ssh (73)
- startup (39)
- statistics (52)
- storage (199)
- streaming (50)
- supercollider (93)
- synth (149)
- tablet (148)
- terminal (72)
- theorem-prover (34)
- thinkpad (59)
- titanium (71)
- tokyo (35)
- travel (140)
- tumblr (116)
- tuning (191)
- tutorial (494)
- twitter (528)
- type-system (60)
- ubuntu (43)
- uupaa (32)
- validation (63)
- vehicle (47)
- video (345)
- visualization (165)
- webkit (72)
- wiki (68)
- windows (276)
- xmonad (34)
- yahoo (90)
- youtube (409)
- zeromq (45)
- zsh (37)
- これはひどい (35)
- これは欲しい (45)
- さくらインターネット (41)
- アニメ (52)
- オフィス (136)
- カレー (81)
- システム開発 (31)
- ニコニコ動画 (53)
- フレームワーク (36)
- プラグイン (33)
- プロジェクト管理 (156)
- ライブラリ (45)
- ラーメン (97)
- 三軒茶屋 (44)
- 不動産 (83)
- 中目黒 (214)
- 中華 (62)
- 事例 (274)
- 人生 (46)
- 仕事観 (69)
- 代官山 (34)
- 写真 (186)
- 出版 (49)
- 労働 (35)
- 動画配信 (30)
- 医療 (47)
- 原発 (47)
- 呑み屋 (148)
- 図書館 (45)
- 地震 (39)
- 宇宙 (47)
- 建築 (31)
- 後で (36)
- 恵比寿 (102)
- 戦争 (43)
- 教育 (221)
- 文化 (29)
- 文字コード (107)
- 文房具 (32)
- 新宿 (35)
- 新聞 (51)
- 日本 (39)
- 検索 (186)
- 楽天 (41)
- 歴史 (212)
- 池尻大橋 (47)
- 決済 (122)
- 法律 (87)
- 渋谷 (199)
- 漫画 (158)
- 生活 (111)
- 生物 (50)
- 画像 (112)
- 画像処理 (86)
- 画像認識 (33)
- 社会 (175)
- 税金 (30)
- 素材 (98)
- 経営 (178)
- 肉 (111)
- 育児 (29)
- 自然言語処理 (39)
- 自転車 (29)
- 著作権 (223)
- 設計 (49)
- 認証 (81)
- 起業 (191)
- 金融 (31)
- 雇用 (102)
- 電子書籍 (498)
- 音楽配信 (227)
- 食 (1297)
- music (3771)
- javascript (2569)
- haskell (2231)
- Node.js (1685)
- WebServices (1567)
- Perl (1371)
- 食 (1297)
- electronic (1036)
- Ruby (958)
- iPhone (787)
ブックマーク / blog.elliptium.net (2)
-
nsyee 2014/01/09
- Coq
- Emacs
- proofgeneral
リンク -
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx