src/Pure/ProofGeneral/pgip_isabelle.ML
2008-01-28 wenzelm 2008-01-28 location_of_position: Position.column_of (which counts Isabelle symbols, not characters);
2007-07-20 wenzelm 2007-07-20 simplified ThyLoad interfaces: only one additional directory;
2007-07-19 wenzelm 2007-07-19 adapted ThyLoad.check_file;
2007-07-12 wenzelm 2007-07-12 tuned spacing;
2007-07-09 wenzelm 2007-07-09 use Position.file_of; removed strange comments;
2007-07-05 aspinall 2007-07-05 Update PGML version, add system name
2007-03-03 aspinall 2007-03-03 Add Isabelle-specific objtypes
2007-01-22 aspinall 2007-01-22 Add location_of_position. Needs work elsewhere.
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.