Milo Davis
|
67b3338907
|
Client: update typecheck program flags and michelson mode
|
2018-02-17 20:42:03 -05:00 |
|
Benjamin Canou
|
5ae24aa7a3
|
Scripts: repair tezos-autocomplete, and make it work with emacs and zsh
|
2018-02-06 17:04:49 +01:00 |
|
Milo Davis
|
899bc53289
|
Emacs: use special-mode-map derivative in output buffer
|
2018-01-08 10:48:50 -05:00 |
|
Milo Davis
|
5ce950e168
|
Emacs: close types buffer when editing buffer closes
|
2017-11-03 15:51:11 +01:00 |
|
Milo Davis
|
c387ed823a
|
Michelson: Propagate and check annotations
|
2017-11-03 15:51:11 +01:00 |
|
Milo Davis
|
b562695e52
|
Emacs: Fix minor bugs
|
2017-09-28 10:59:02 +02:00 |
|
Milo Davis
|
290681cb67
|
Emacs: deletes temporary files after use (Github issue #120)
|
2017-09-28 09:46:49 +02:00 |
|
Milo Davis
|
5bf5f09fbc
|
Emacs: vertical stack printing and suggestions
|
2017-08-24 21:07:58 +02:00 |
|
Milo Davis
|
953a319022
|
Michelson-mode: async, cache, and refactorings
|
2017-08-08 14:06:24 +00:00 |
|
Milo Davis
|
3255fc8cd8
|
Alphanet: automatically copy files into container
|
2017-08-08 14:06:24 +00:00 |
|
Benjamin Canou
|
2e3d664069
|
Michelson emacs-mode: auto resize type buffer.
|
2017-07-24 12:01:29 +02:00 |
|
Benjamin Canou
|
6e215b7d3b
|
Michelson: Quick and Dirty Emacs mode.
|
2017-07-22 22:54:36 +02:00 |
|