Commit graph

7 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
98dc1a5629 * elisp/hoa-mode.el: Update from upstream. 2019-10-08 17:48:15 +02:00
Alexandre Duret-Lutz
f1be609df1 * elisp/README: Remove obsolete comment. 2019-04-17 11:41:33 +02:00
Alexandre Duret-Lutz
99876048ed org: adjust to org-mode 9.1
This is needed so that SVG files are included as an <object...> rather
than as an <img...>, which in turn is needed to ensure SVG tooltips
will work.  We do not explicitly require org-mode 9.1, but we install
it if it is not present.

* HACKING: Mention the requirement.
* doc/org/.dir-locals.el.in, doc/org/init.el.in, doc/org/spot.css:
Adjust to org-mode 9.1.
* doc/Makefile.am: Run emacs with the site-lisp libraries, in
case it contains a more recent org-mode.
* elisp/ob-dot.el: Delete, this was a work around older versions.
* elisp/Makefile.am: Adjust.
2018-04-07 18:58:58 +02:00
Etienne Renault
4fdaf0e14e use wget or curl according to what is available
* doc/Makefile.am, elisp/Makefile.am: here.
* HACKING: add missing requirements.
2017-02-01 19:43:33 +01:00
Alexandre Duret-Lutz
15ea2e66e8 org: show how to implement Kripke structures
* doc/org/tut51.org: New file.
* doc/org/tut.org, doc/Makefile.am, NEWS: Add it.
* elisp/ob-dot.el: New file, to work around old org-mode versions.
* elisp/README, elisp/Makefile.am: Add it.
2016-07-27 16:21:03 +02:00
Alexandre Duret-Lutz
9d8fd50821 * elisp/hoa-mode.el: Update from its master. 2015-12-03 17:59:01 +01:00
Alexandre Duret-Lutz
5aba246ff0 org: syntax-highlight the HOA outputs
* elisp/hoa-mode.el, elisp/Makefile.am, elisp/README: New files.
* debian/copyright, configure.ac, README, Makefile.am: Adjust.
* doc/org/init.el.in: Adjust to load hoa-mode.el.
* doc/org/spot.css: Add entries for HOA mode.
* doc/org/hoa.org, doc/org/ltldo.org, doc/org/oaut.org,
doc/org/tut20.org, doc/org/tut21.org, doc/org/tut22.org,
doc/org/tut30.org: Make the HOA outputs as HOA.
2015-11-20 14:28:51 +01:00