| Fri, 07 Oct 2005 22:59:22 +0200 |
wenzelm |
Term.absdummy;
|
changeset |
files
|
| Fri, 07 Oct 2005 22:59:21 +0200 |
wenzelm |
removed obsolete ex/Tuple.thy;
|
changeset |
files
|
| Fri, 07 Oct 2005 22:59:19 +0200 |
wenzelm |
replaced _K by dummy abstraction;
|
changeset |
files
|
| Fri, 07 Oct 2005 22:59:18 +0200 |
wenzelm |
print_translation: does not handle _idtdummy;
|
changeset |
files
|
| Fri, 07 Oct 2005 22:59:17 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 07 Oct 2005 22:59:15 +0200 |
wenzelm |
added dummy variable binding;
|
changeset |
files
|
| Fri, 07 Oct 2005 20:41:10 +0200 |
nipkow |
changes due to new neq_simproc in simpdata.ML
|
changeset |
files
|
| Fri, 07 Oct 2005 18:49:20 +0200 |
wenzelm |
added str_of_term (from HOL/Tools/ATP/recon_translate_proof.ML);
|
changeset |
files
|
| Fri, 07 Oct 2005 18:49:19 +0200 |
wenzelm |
Term.str_of_term;
|
changeset |
files
|
| Fri, 07 Oct 2005 17:57:21 +0200 |
paulson |
minor code tidyig
|
changeset |
files
|
| Fri, 07 Oct 2005 15:08:28 +0200 |
paulson |
code restructuring
|
changeset |
files
|
| Fri, 07 Oct 2005 11:29:24 +0200 |
paulson |
more tidying. Fixed process management bugs and race condition
|
changeset |
files
|
| Thu, 06 Oct 2005 10:14:22 +0200 |
paulson |
major simplification: removal of the goalstring argument
|
changeset |
files
|
| Thu, 06 Oct 2005 10:13:34 +0200 |
berghofe |
Optimized getPreds and getSuccs.
|
changeset |
files
|
| Thu, 06 Oct 2005 08:58:58 +0200 |
haftmann |
adjusted sydney to new website
|
changeset |
files
|
| Thu, 06 Oct 2005 08:56:15 +0200 |
haftmann |
changed sydney share
|
changeset |
files
|
| Wed, 05 Oct 2005 19:28:12 +0200 |
wenzelm |
added Poplog/PML version 15.6/2.1 (experimental!);
|
changeset |
files
|
| Wed, 05 Oct 2005 18:38:43 +0200 |
haftmann |
added fold_nodes, map_node_yield
|
changeset |
files
|
| Wed, 05 Oct 2005 18:38:28 +0200 |
haftmann |
added merge, tuned
|
changeset |
files
|
| Wed, 05 Oct 2005 14:01:32 +0200 |
nipkow |
added last in set lemma
|
changeset |
files
|
| Wed, 05 Oct 2005 11:18:06 +0200 |
paulson |
improved process handling. tidied
|
changeset |
files
|
| Wed, 05 Oct 2005 10:56:06 +0200 |
paulson |
more signals
|
changeset |
files
|
| Tue, 04 Oct 2005 23:39:42 +0200 |
nipkow |
new hd/rev/last lemmas
|
changeset |
files
|
| Tue, 04 Oct 2005 23:30:46 +0200 |
nipkow |
new lemmas
|
changeset |
files
|
| Tue, 04 Oct 2005 21:39:16 +0200 |
wenzelm |
added compiler and runtime options;
|
changeset |
files
|
| Tue, 04 Oct 2005 21:33:09 +0200 |
wenzelm |
Poplog/PML startup script.
|
changeset |
files
|
| Tue, 04 Oct 2005 20:38:13 +0200 |
wenzelm |
Compatibility file for Poplog/PML (version 15.6/2.1).
|
changeset |
files
|
| Tue, 04 Oct 2005 19:05:37 +0200 |
wenzelm |
Substring.all = Substring.full;
|
changeset |
files
|
| Tue, 04 Oct 2005 19:01:37 +0200 |
wenzelm |
minor tweaks for Poplog/ML;
|
changeset |
files
|
| Tue, 04 Oct 2005 16:47:40 +0200 |
wenzelm |
find_theorems: support * wildcard in name: criterion;
|
changeset |
files
|
| Tue, 04 Oct 2005 16:47:39 +0200 |
wenzelm |
* Command 'find_theorems': support * wildcard in name: criterion.
|
changeset |
files
|
| Tue, 04 Oct 2005 16:05:08 +0200 |
wenzelm |
Patch for PolyML 4.1.4 to make it work with Isabelle2005. We commit this into ML_dbase!
|
changeset |
files
|
| Tue, 04 Oct 2005 14:58:44 +0200 |
haftmann |
added redirect.html
|
changeset |
files
|
| Tue, 04 Oct 2005 14:37:06 +0200 |
haftmann |
better error handling
|
changeset |
files
|
| Tue, 04 Oct 2005 11:15:09 +0200 |
haftmann |
improved linktest
|
changeset |
files
|
| Tue, 04 Oct 2005 10:58:46 +0200 |
haftmann |
removed removed IntFloor
|
changeset |
files
|
| Tue, 04 Oct 2005 10:55:14 +0200 |
haftmann |
fixed broken link
|
changeset |
files
|
| Tue, 04 Oct 2005 10:52:43 +0200 |
haftmann |
fixed broken mailto: link
|
changeset |
files
|
| Tue, 04 Oct 2005 09:59:01 +0200 |
paulson |
fixed the ascii-armouring of goalstring
|
changeset |
files
|
| Tue, 04 Oct 2005 09:58:38 +0200 |
paulson |
reset clause counter
|
changeset |
files
|
| Tue, 04 Oct 2005 09:58:17 +0200 |
paulson |
theorems need names
|
changeset |
files
|
| Tue, 04 Oct 2005 09:19:17 +0200 |
haftmann |
support for setting local permissions
|
changeset |
files
|
| Tue, 04 Oct 2005 08:49:24 +0200 |
haftmann |
improved dependency build
|
changeset |
files
|
| Tue, 04 Oct 2005 08:14:15 +0200 |
haftmann |
added conf/ to .cvsignore
|
changeset |
files
|
| Fri, 30 Sep 2005 18:18:34 +0200 |
aspinall |
Add icon for interface.
Isabelle2005
|
changeset |
files
|
| Fri, 30 Sep 2005 17:54:04 +0200 |
aspinall |
Move welcomemsg and helpdoc to pgip_isar.xml
|
changeset |
files
|
| Fri, 30 Sep 2005 17:52:18 +0200 |
aspinall |
Add helpdocs and welcomemsg here instead of hard wiring in proof_general.ML.
|
changeset |
files
|
| Fri, 30 Sep 2005 17:33:22 +0200 |
aspinall |
Explanatory text
|
changeset |
files
|
| Fri, 30 Sep 2005 17:28:04 +0200 |
aspinall |
Schema files (for information, and validating pgip_isar.xml)
|
changeset |
files
|
| Fri, 30 Sep 2005 17:24:51 +0200 |
aspinall |
Schema for PGIP
|
changeset |
files
|
| Fri, 30 Sep 2005 15:28:43 +0200 |
wenzelm |
pruned notes about Poly/ML;
|
changeset |
files
|
| Fri, 30 Sep 2005 15:17:04 +0200 |
wenzelm |
converted to Isar theory format;
|
changeset |
files
|
| Fri, 30 Sep 2005 13:47:36 +0200 |
aspinall |
Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP.
|
changeset |
files
|
| Fri, 30 Sep 2005 11:43:42 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 30 Sep 2005 10:58:11 +0200 |
aspinall |
Fix for guiconfig -> displayconfig element rename
|
changeset |
files
|
| Fri, 30 Sep 2005 09:52:46 +0200 |
paulson |
theorems need names
|
changeset |
files
|
| Thu, 29 Sep 2005 19:37:20 +0200 |
wenzelm |
refer to $PRG instead of (old) rsync-isabelle;
|
changeset |
files
|
| Thu, 29 Sep 2005 18:01:12 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 29 Sep 2005 17:09:11 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 29 Sep 2005 17:08:52 +0200 |
wenzelm |
pdfsetup.sty: better not rely on ifpdf.sty;
|
changeset |
files
|