blob: 373beabd3619030d3abd41e05f63c636b7167fc6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Known bugs and workarounds.
===========================
Development:
============
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?
da: How to remove a directory from CVS? I think it needs
editing in the repository. 'isabelle' is defunct.
|
