aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Collapse)AuthorAge
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Move the part of coq.el that is not specific to ProofGeneral into coq-mode.el to make `coq-mode` into a major mode that can work without PG. * coq/coq-mode.el: New file, with code extracted from coq.el. (coq-use-pg): New var. (coq-near-comment-region): Complete rewrite. * Makefile.devel (autoloads): Add `coq` to the scanned subdirectories. * generic/proof-autoloads.el: Regenerate. * generic/proof-site.el: Don't override pre-existing major-mode definitions. * coq/coq-syntax.el (coq-init-syntax-table): Delete function. Setup the syntax-table while loading coq-mode.el instead. * coq/coq-system.el (coq-prog-name, get-coq-library-directory) (coq-library-directory, coq-tags): Move to coq-mode.el. * coq/coq.el: Set proof-assistant when loaded. (coq-may-use-prettify, coq-outline-regexp) (coq-outline-heading-end-regexp, coq-mode) (coq-prettify-symbols-alist, coq-fill-paragraph-function) (coq-adaptive-fill-function): Move to coq-mode.el. (coq-shell-mode-syntax-table, coq-response-mode-syntax-table) (coq-goals-mode-syntax-table): Just reuse the already setup coq-mode-syntax-table... (coq-shell-mode-config, coq-goals-mode-config, coq-response-config): ... instead of calling coq-init-syntax-table. (coq-get-comment-region): Delete, not used any more. (coq-pg-mode-map): New var. Move top-level keymap setup here. (coq-pg-setup): Rename from coq-mode-config. Move all the non-PG specific settings to coq-mode. * generic/proof-script.el (proof-mode): Simplify call to proof-splash-message since it does the same extra tests internally. (proof-config-done-related): Don't touch font-lock-defaults if the mode doesn't provide any font-lock-defaults. * isar/isar-syntax.el: Use lexical-binding. (isar-font-lock-fontify-syntactically-region): Make it callable from font0lock-keywords. (isar-font-lock-keywords-1): Call isar-font-lock-fontify-syntactically-region. * generic/proof-syntax.el (font-lock-fontify-keywords-region): Remove advice. (proof-ids): Remove, unused. * lib/bufhist.el (bufhist-erase-buffer): Don't let-bind after-change-functions. * generic/pg-pbrpm.el (pg-pbrpm-auto-select-around-point): Fix one more left-over cl.el use. * generic/proof-utils.el (proof-with-script-buffer): Add edebug spec.
* Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22
| | | | This commit ensures the version number is (version-to-list)-compliant.
* Remove bin/proofgeneral and Update Makefiles accordingly.Gravatar Erik Martin-Dorel2017-04-25
| | | | Closes ProofGeneral/PG#177
* A first pass at converting from CVS to git. (#127)Gravatar zhenya10072016-12-31
| | | Do some cleanup in the Makefile.devel file.
* Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
|
* More version number fixesGravatar Clément Pit--Claudel2016-02-13
|
* Summary: remove non-BSD cp argGravatar David Aspinall2015-03-13
|
* Remove link in tar file.Gravatar David Aspinall2013-05-31
|
* Run make check before releaseGravatar David Aspinall2013-05-23
|
* Add ProofGeneral.jpg to distributionGravatar David Aspinall2013-05-22
|
* Updates for PG 4.3Gravatar David Aspinall2012-10-19
|
* Add setting for rcs2log pathGravatar David Aspinall2012-08-14
|
* Update for 4.2 cycleGravatar David Aspinall2011-10-13
|
* Remove some non-existent ignored filesGravatar David Aspinall2011-10-03
|
* Tweak to Emacs package buildingGravatar David Aspinall2011-09-16
|
* Fix Make pkg in case package name same as release name.Gravatar David Aspinall2011-04-28
|
* Add rcs2log options suggested by HendrikGravatar David Aspinall2011-04-28
|
* set a non-temporary email addressGravatar Hendrik Tews2011-01-14
|
* Add new CVS users to DEVELOPERS list.Gravatar David Aspinall2011-01-14
|
* CleanupGravatar David Aspinall2010-10-11
|
* Update to 4.1preGravatar David Aspinall2010-10-10
|
* CommentsGravatar David Aspinall2010-10-04
|
* Target to run an instanceGravatar David Aspinall2010-08-27
|
* Target to build an Emacs packageGravatar David Aspinall2010-08-25
|
* Remove defunct RPM linkGravatar David Aspinall2010-08-23
|
* Separate profiling from testingGravatar David Aspinall2010-08-03
|
* Show test log in case of failureGravatar David Aspinall2010-08-03
|
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
|
* superdirGravatar David Aspinall2009-09-21
|
* Fix doc copy/clean.Gravatar David Aspinall2009-09-21
|
* Only distribute info file, not pdfGravatar David Aspinall2009-09-21
|
* Add doc files and .elcs to distributed tarballGravatar David Aspinall2009-09-21
|
* tar -> $(TAR)Gravatar David Aspinall2009-09-21
|
* distcompile: don't ignore errors during compileGravatar David Aspinall2009-09-15
|
* Remove devel. from testall targetGravatar David Aspinall2009-09-08
|
* Add tidy target (cleans whitespace)Gravatar David Aspinall2009-09-05
|
* Hide echoGravatar David Aspinall2009-09-04
|
* Clean up IGNOREDFILES a bitGravatar David Aspinall2009-08-31
|
* Remove obsolete file mentionGravatar David Aspinall2009-08-20
|
* Fix to use in place of make, see ↵Gravatar David Aspinall2009-03-10
| | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
* merge develdownload.html with devel.htmlGravatar David Aspinall2008-12-05
|
* Updated.Gravatar David Aspinall2008-12-05
|
* Updates for 4.0Gravatar David Aspinall2008-08-03
|
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
|
* Move to 3.7.1 pre-relGravatar David Aspinall2008-02-03
|
* Updated.Gravatar David Aspinall2008-01-31
|
* Remove more zipGravatar David Aspinall2008-01-30
|
* Remove zip from distribution, only use tgzGravatar David Aspinall2008-01-30
|
* Missing quoteGravatar David Aspinall2008-01-25
|
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 06:36:19 +0000