| Fri, 08 Jul 2011 17:04:38 +0200 |
wenzelm |
discontinued odd Position.column -- left-over from attempts at PGIP implementation;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2011 18:10:28 +0100 |
wenzelm |
discontinued legacy load path;
|
file |
diff |
annotate
|
| Tue, 03 Aug 2010 15:53:36 +0200 |
wenzelm |
simplified/clarified Thy_Load path: search for master only, lookup other files relative to that;
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 22:31:20 +0200 |
wenzelm |
discontinued special treatment of ML files -- no longer complete extensions on demand;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2008 22:27:26 +0100 |
wenzelm |
location_of_position: Position.column_of (which counts Isabelle symbols, not characters);
|
file |
diff |
annotate
|
| Fri, 20 Jul 2007 17:54:15 +0200 |
wenzelm |
simplified ThyLoad interfaces: only one additional directory;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2007 23:18:54 +0200 |
wenzelm |
adapted ThyLoad.check_file;
|
file |
diff |
annotate
|
| Thu, 12 Jul 2007 00:15:37 +0200 |
wenzelm |
tuned spacing;
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 23:12:49 +0200 |
wenzelm |
use Position.file_of;
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 20:36:48 +0200 |
aspinall |
Update PGML version, add system name
|
file |
diff |
annotate
|
| Sat, 03 Mar 2007 12:38:36 +0100 |
aspinall |
Add Isabelle-specific objtypes
|
file |
diff |
annotate
|
| Mon, 22 Jan 2007 16:53:33 +0100 |
aspinall |
Add location_of_position. Needs work elsewhere.
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|