| Wed, 04 Apr 2012 12:25:58 +0200 |
huffman |
update keywords file
|
file |
diff |
annotate
|
| Tue, 03 Apr 2012 16:26:48 +0200 |
kuncar |
new package Lifting - initial commit
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 23:21:54 +0200 |
krauss |
merged, manually resolving conflicts due to session renaming (cf. 6488c5efec49)
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 22:58:05 +0200 |
wenzelm |
more keywords;
|
file |
diff |
annotate
|
| Fri, 23 Mar 2012 14:29:29 +0100 |
kuncar |
update etc/isar-keywords.el
|
file |
diff |
annotate
|
| Wed, 21 Mar 2012 23:26:35 +0100 |
wenzelm |
more explicit Toplevel.open_target/close_target;
|
file |
diff |
annotate
|
| Wed, 21 Mar 2012 17:25:35 +0100 |
wenzelm |
basic support for nested contexts including bundles;
|
file |
diff |
annotate
|
| Tue, 20 Mar 2012 20:00:13 +0100 |
wenzelm |
basic support for bundled declarations;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2012 22:48:38 +0100 |
wenzelm |
eliminated odd 'finalconsts' / Theory.add_finals;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 22:20:07 +0100 |
wenzelm |
more precise TPTP keywords and dependencies;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 00:10:45 +0100 |
wenzelm |
some support for outer syntax keyword declarations within theory header;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2012 11:23:34 +0100 |
blanchet |
renamed 'try_methods' to 'try0'
|
file |
diff |
annotate
|
| Wed, 22 Feb 2012 17:22:53 +0100 |
bulwahn |
adding new command "find_unused_assms"
|
file |
diff |
annotate
|
| Tue, 20 Dec 2011 17:40:15 +0100 |
bulwahn |
added keywords
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 14:22:06 +0200 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|