| Tue, 16 Sep 2008 17:16:27 +0200 |
wenzelm |
added PROOFGENERAL_HOME;
|
changeset |
files
|
| Tue, 16 Sep 2008 17:16:25 +0200 |
wenzelm |
separate emacs tool for Proof General / Emacs;
|
changeset |
files
|
| Tue, 16 Sep 2008 16:13:31 +0200 |
haftmann |
added quickcheck stub
|
changeset |
files
|
| Tue, 16 Sep 2008 16:13:14 +0200 |
haftmann |
removed babel again
|
changeset |
files
|
| Tue, 16 Sep 2008 16:13:11 +0200 |
haftmann |
celver code lemma avoid type ambiguity problem with Haskell
|
changeset |
files
|
| Tue, 16 Sep 2008 16:13:09 +0200 |
haftmann |
a sophisticated char/nibble conversion combinator
|
changeset |
files
|
| Tue, 16 Sep 2008 16:13:06 +0200 |
haftmann |
moved term_of syntax to separate theory
|
changeset |
files
|
| Tue, 16 Sep 2008 15:37:33 +0200 |
wenzelm |
SimpleThread.fork;
|
changeset |
files
|
| Tue, 16 Sep 2008 15:37:32 +0200 |
wenzelm |
Simplified thread fork interface.
|
changeset |
files
|
| Tue, 16 Sep 2008 15:37:30 +0200 |
wenzelm |
added Concurrent/simple_thread.ML;
|
changeset |
files
|
| Tue, 16 Sep 2008 14:48:51 +0200 |
wenzelm |
updated generated file;
|
changeset |
files
|
| Tue, 16 Sep 2008 14:40:30 +0200 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Tue, 16 Sep 2008 14:39:56 +0200 |
wenzelm |
check setting and tool;
|
changeset |
files
|
| Tue, 16 Sep 2008 12:27:05 +0200 |
ballarin |
Clearer separation of interpretation frontend and backend.
|
changeset |
files
|
| Tue, 16 Sep 2008 12:26:15 +0200 |
ballarin |
No interpretation of locale with dangling type frees.
|
changeset |
files
|
| Tue, 16 Sep 2008 12:25:26 +0200 |
ballarin |
Do not rely on locale assumption in interpretation.
|
changeset |
files
|