/src/Pure/ProofGeneral/
drwxr-xr-x [up]
-rw-r--r-- 2007-01-07 14:05 +0100 1526 README
-rw-r--r-- 2007-01-07 14:05 +0100 565 ROOT.ML
-rw-r--r-- 2007-01-07 14:05 +0100 250 TODO
-rw-r--r-- 2007-01-07 14:05 +0100 14805 parsing.ML
-rw-r--r-- 2007-01-07 14:05 +0100 419 pgip.ML
-rw-r--r-- 2007-01-07 14:05 +0100 8742 pgip_input.ML
-rw-r--r-- 2007-01-07 14:05 +0100 1733 pgip_isabelle.ML
-rw-r--r-- 2007-01-07 14:05 +0100 6339 pgip_markup.ML
-rw-r--r-- 2007-01-07 14:05 +0100 12455 pgip_output.ML
-rw-r--r-- 2007-01-07 14:05 +0100 1114 pgip_standalone.ML
-rw-r--r-- 2007-01-07 14:05 +0100 3660 pgip_tests.ML
-rw-r--r-- 2007-01-07 14:05 +0100 15007 pgip_types.ML
-rw-r--r-- 2007-01-07 14:05 +0100 4594 preferences.ML
-rw-r--r-- 2007-01-07 14:05 +0100 10131 proof_general_emacs.ML
-rw-r--r-- 2007-01-07 14:05 +0100 31798 proof_general_pgip.ML