| Thu, 09 Sep 2010 17:38:45 +0200 | wenzelm | Exn.is_interrupt: include interrupts that have passed through the IO layer; | changeset | files |
| Thu, 09 Sep 2010 17:20:27 +0200 | wenzelm | more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally; | changeset | files |
| Thu, 09 Sep 2010 11:05:52 +0200 | wenzelm | avoid mixing of static and runtime errors in compiler output, to accomodate Proof General; | changeset | files |