| Sat, 15 Jan 2011 12:41:07 +0100 |
Include HOL-SPARK
|
file | diff | annotate |
| Fri, 27 Aug 2010 22:09:51 +0200 |
discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
|
file | diff | annotate |
| Mon, 12 Jul 2010 22:35:41 +0200 |
removed unused/untested IOA 'automaton' package;
|
file | diff | annotate |
| Wed, 02 Jun 2010 15:36:24 +0200 |
updated keywords;
|
file | diff | annotate |
| Wed, 25 Nov 2009 15:21:41 +0100 |
include HOL-SMT keywords;
|
file | diff | annotate |
| Sat, 14 Nov 2009 18:45:24 +0100 |
include HOL-Boogie keywords by default;
|
file | diff | annotate |
| Sat, 14 Nov 2009 18:15:21 +0100 |
generate keywords for Emacs Proof General only;
|
file | diff | annotate |
| Sat, 04 Oct 2008 17:40:56 +0200 |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file | diff | annotate |
| Fri, 03 Oct 2008 19:35:14 +0200 |
removed HOL-Plain -- already included in HOL;
|
file | diff | annotate |
| Sat, 28 Jun 2008 21:21:20 +0200 |
include HOL-Plain;
|
file | diff | annotate |
| Wed, 24 Oct 2007 19:46:00 +0200 |
added HOL-Statespace session;
|
file | diff | annotate |
| Mon, 08 Oct 2007 18:13:01 +0200 |
moved HOL-Nominal keywords into default collection (isar-keywords.el);
|
file | diff | annotate |
| Sun, 07 Oct 2007 13:32:14 +0200 |
emacs vs. jedit;
|
file | diff | annotate |
| Sat, 06 Oct 2007 22:07:16 +0200 |
use isatool keywords -- generate from logs instead of session images;
|
file | diff | annotate |
| Tue, 10 Jul 2007 13:12:53 +0200 |
cd ISABELLE_HOME/etc;
|
file | diff | annotate |
| Sat, 11 Nov 2006 14:52:25 +0100 |
Update standard keyword files.
|
file | diff | annotate |