src/Pure/Thy/browser_info.ML
1999-09-01 wenzelm 1999-09-01 added theorems; improved files;
1999-08-17 berghofe 1999-08-17 Better handling of path for remote theory browsing information.
1999-05-17 wenzelm 1999-05-17 tuned;
1999-05-17 berghofe 1999-05-17 Reimplemented graph generator.
1999-03-17 wenzelm 1999-03-17 tuned msg;
1999-03-17 wenzelm 1999-03-17 cleaned comments;
1999-03-12 wenzelm 1999-03-12 theory: include parent links;
1999-03-11 wenzelm 1999-03-11 comment;
1999-03-11 wenzelm 1999-03-11 include 'README'; tuned;
1999-03-10 wenzelm 1999-03-10 report session path; removed more junk;
1999-03-10 wenzelm 1999-03-10 maintain current/parent index; removed junk;
1999-03-09 wenzelm 1999-03-09 checkpoint -- basic functionality only;
1998-03-09 wenzelm 1998-03-09 Symbol.is_*;
1998-01-13 wenzelm 1998-01-13 added base_path;
1997-11-12 wenzelm 1997-11-12 moved old file stuff from library.ML to Thy/browser_info.ML; subdir_of no longer infix;
1997-10-23 wenzelm 1997-10-23 tuned;
1997-10-15 nipkow 1997-10-15 Added ack to Mateja Jamnik.
1997-10-14 wenzelm 1997-10-14 tuned;
1997-10-10 wenzelm 1997-10-10 BAD_space_explode;
1997-09-30 berghofe 1997-09-30 Changed html data directory and names of graph files.
1997-08-07 berghofe 1997-08-07 Modified graph data directory.
1997-08-06 wenzelm 1997-08-06 tuned copy_file;
1997-08-06 berghofe 1997-08-06 This file now contains all functions for generating html and graph data.