Thu, 01 Sep 2011 13:39:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
Mon, 29 Aug 2011 21:55:49 +0200 |
wenzelm |
actual auto loading of required files;
|
file |
diff |
annotate
|
Tue, 16 Aug 2011 22:48:31 +0200 |
wenzelm |
more robust Thy_Header.base_name, with minimal assumptions about path syntax;
|
file |
diff |
annotate
|
Tue, 16 Aug 2011 21:13:52 +0200 |
wenzelm |
use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
|
file |
diff |
annotate
|
Fri, 12 Aug 2011 12:03:17 +0200 |
wenzelm |
simplified class Thy_Header;
|
file |
diff |
annotate
|
Tue, 05 Jul 2011 22:43:18 +0200 |
wenzelm |
tuned comment (cf. e9f26e66692d);
|
file |
diff |
annotate
|
Tue, 05 Jul 2011 22:39:15 +0200 |
wenzelm |
Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 16:51:45 +0200 |
wenzelm |
pervasive Basic_Library in Scala;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 16:27:11 +0200 |
wenzelm |
some support for theory files within Isabelle/Scala session;
|
file |
diff |
annotate
|