Francis Wright
|
1c2d70ec02
reduce-mode.el syntax highlighting
|
4 年之前 |
Francis Wright
|
a5e608dcae
reduce-mode.el syntax highlighting
|
4 年之前 |
Francis Wright
|
2e851695d6
reduce-mode.el assertion highlighting
|
4 年之前 |
Francis Wright
|
c770b9558f
reduce-mode.el comment statement highlighting
|
4 年之前 |
Francis Wright
|
075b7ad622
GNU Emacs REDUCE IDE
|
5 年之前 |
Francis Wright
|
512996b1a6
GNU Emacs REDUCE IDE
|
5 年之前 |
Francis Wright
|
e6795d8aaf
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
02977c3281
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
87758d05f9
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
af0007a138
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
bf241718c0
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
fb13d32d7d
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
8c3517052c
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
3415b92db1
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
c3a7062d78
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
4250790a75
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
44178d731f
GNU Emacs REDUCE IDE
|
6 年之前 |
Francis Wright
|
f1393f8996
GNU Emacs REDUCE IDE
|
6 年之前 |
Thomas Sturm
|
c37d24d8ba
Working on SMT in Nancy. Redlog help system is WIP but stable.
|
7 年之前 |
Thomas Sturm
|
4d70f28626
Added syntax coloring for inline keyword.
|
11 年之前 |
Thomas Sturm
|
e9e32cfddd
Asserted procedures.
|
11 年之前 |
Thomas Sturm
|
7a5c72bbb0
Support for asserted procedures.
|
11 年之前 |
Thomas Sturm
|
ac84faa69d
Color (new) assert.
|
11 年之前 |
Thomas Sturm
|
4cf3d1a5a1
Reflect changes in assert.
|
11 年之前 |
Francis Wright
|
f39afa9ed3
Extract version from source file header. Add menu option to REDUCE Run to show version.
|
12 年之前 |
Francis Wright
|
8a29097d1c
Support Emacs 24 package installer. Other minor tidying up.
|
12 年之前 |
Francis Wright
|
fd5d35de16
Rename option reduce-comment-region to reduce-comment-region-string. Improve code, mainly function docstrings, to follow Emacs coding standards better. Make fluid not-eof into an argument.
|
12 年之前 |
Francis Wright
|
2a3e620a99
Initial update for Emacs 23/24. Now compiles properly. Remove use of fluid variables in reduce-mode. Minor cosmetic enhancements.
|
12 年之前 |
Francis Wright
|
6527524427
Initial check-in of reduce-run.el, reduce-ide.texinfo and README. Minor update of reduce-mode.el comments to match the other files.
|
12 年之前 |
Thomas Sturm
|
25e22d7b51
Support assertions.
|
13 年之前 |