blob: a159a27fdafd62a3cc0f399a5fcf86c54f833531 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
Known Bugs and Workarounds.
===========================
$Id$
* Outline-mode does not work in proof script files due to read-only
restrictions of protected region
* You can't use more than one proof assistant at a time in the same
Emacs session. Workaround: use more than one Emacs session, with
different settings of the variable proof-assistant.
* There is an obscure bug with processes on Solaris which results in
buffers full of ^G after certain combinations of input. Workaround:
get a patch from Sun, or use Linux.
Development (move these above once decided not to fix):
========================================================
XEmacs sessions seem to grow excessively in terms of memory
allocation. Maybe some of the spans aren't removed properly.
Setting a limit on the size of the process buffer doesn't seem to
help.
customize: odd behaviour after setting proof-assistant in
.emacs file via customize: customize reports "mismatch"
and "set outside customize". Second of these probably
okay. Why first?
|