Changelog - ob-acl2.git - emacs の org-babel で ACL2 を使うためのもの

about summary refs log tree commit diff

path: root/Changelog

blob: 51959c9f3f581885de2095087e9129ba28f60ae0 (plain)

2022-04-15 Masaya Tojo <masaya@tojo.tokyo>

	* ob-acl2.el: New file.
	* README.md: New file.
	* COPYING: New file.