2005-10-06 haftmann 2005-10-06 changed sydney share
2005-10-05 wenzelm 2005-10-05 added Poplog/PML version 15.6/2.1 (experimental!);
2005-10-05 haftmann 2005-10-05 added fold_nodes, map_node_yield
2005-10-05 haftmann 2005-10-05 added merge, tuned
2005-10-05 nipkow 2005-10-05 added last in set lemma
2005-10-05 paulson 2005-10-05 improved process handling. tidied
2005-10-05 paulson 2005-10-05 more signals
2005-10-04 nipkow 2005-10-04 new hd/rev/last lemmas
2005-10-04 nipkow 2005-10-04 new lemmas
2005-10-04 wenzelm 2005-10-04 added compiler and runtime options;
2005-10-04 wenzelm 2005-10-04 Poplog/PML startup script.
2005-10-04 wenzelm 2005-10-04 Compatibility file for Poplog/PML (version 15.6/2.1).
2005-10-04 wenzelm 2005-10-04 Substring.all = Substring.full;
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-10-04 wenzelm 2005-10-04 find_theorems: support * wildcard in name: criterion;
2005-10-04 wenzelm 2005-10-04 * Command 'find_theorems': support * wildcard in name: criterion.
2005-10-04 wenzelm 2005-10-04 Patch for PolyML 4.1.4 to make it work with Isabelle2005. We commit this into ML_dbase!
2005-10-04 haftmann 2005-10-04 added redirect.html
2005-10-04 haftmann 2005-10-04 better error handling
2005-10-04 haftmann 2005-10-04 improved linktest
2005-10-04 haftmann 2005-10-04 removed removed IntFloor
2005-10-04 haftmann 2005-10-04 fixed broken link
2005-10-04 haftmann 2005-10-04 fixed broken mailto: link
2005-10-04 paulson 2005-10-04 fixed the ascii-armouring of goalstring
2005-10-04 paulson 2005-10-04 reset clause counter
2005-10-04 paulson 2005-10-04 theorems need names
2005-10-04 haftmann 2005-10-04 support for setting local permissions
2005-10-04 haftmann 2005-10-04 improved dependency build
2005-10-04 haftmann 2005-10-04 added conf/ to .cvsignore
2005-09-30 aspinall 2005-09-30 Add icon for interface. Isabelle2005
2005-09-30 aspinall 2005-09-30 Move welcomemsg and helpdoc to pgip_isar.xml
2005-09-30 aspinall 2005-09-30 Add helpdocs and welcomemsg here instead of hard wiring in proof_general.ML.
2005-09-30 aspinall 2005-09-30 Explanatory text
2005-09-30 aspinall 2005-09-30 Schema files (for information, and validating pgip_isar.xml)
2005-09-30 aspinall 2005-09-30 Schema for PGIP
2005-09-30 wenzelm 2005-09-30 pruned notes about Poly/ML; removed unnecessary rename of Isabelle executable;
2005-09-30 wenzelm 2005-09-30 converted to Isar theory format;
2005-09-30 aspinall 2005-09-30 Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP.
2005-09-30 wenzelm 2005-09-30 tuned;
2005-09-30 aspinall 2005-09-30 Fix for guiconfig -> displayconfig element rename
2005-09-30 paulson 2005-09-30 theorems need names
2005-09-29 wenzelm 2005-09-29 refer to $PRG instead of (old) rsync-isabelle;
2005-09-29 wenzelm 2005-09-29 updated;
2005-09-29 wenzelm 2005-09-29 updated;
2005-09-29 wenzelm 2005-09-29 pdfsetup.sty: better not rely on ifpdf.sty;
2005-09-29 paulson 2005-09-29 simprules need names
2005-09-29 wenzelm 2005-09-29 export debug_bounds;
2005-09-29 wenzelm 2005-09-29 explicit dependencies of SAT vs. Refute; removed unused methods;
2005-09-29 wenzelm 2005-09-29 explicit dependencies of SAT vs. Refute; moved late refute setup to SAT;
2005-09-29 wenzelm 2005-09-29 Isabelle2005 (October 2005); pdfsetup.sty now requires ifpdf.sty; added Simplifier.debug_bounds; do not advertize Simplifier.add_context_simprocs etc., which are to be replaced soon;
2005-09-29 nipkow 2005-09-29 Added a few lemmas
2005-09-29 paulson 2005-09-29 reduction in tracing files
2005-09-29 paulson 2005-09-29 improvements for problem generation
2005-09-29 paulson 2005-09-29 moved concat_with_and to watcher.ML
2005-09-29 paulson 2005-09-29 a name for empty_not_insert
2005-09-29 berghofe 2005-09-29 Simplifier now removes flex-flex constraints from theorem returned by prover.
2005-09-29 berghofe 2005-09-29 Optimized and exported flexflex_unique.
2005-09-29 wenzelm 2005-09-29 make signature constraint actually work;
2005-09-29 wenzelm 2005-09-29 activate signature constraints;
2005-09-29 wenzelm 2005-09-29 HOL4 image is back;