| Sun, 06 Jan 2008 15:57:52 +0100 |
wenzelm |
removed unused of_stream;
|
changeset |
files
|
| Sun, 06 Jan 2008 15:57:51 +0100 |
wenzelm |
added explicit prompt channel (prompt_fn/prompt);
|
changeset |
files
|
| Sun, 06 Jan 2008 15:57:49 +0100 |
wenzelm |
removed obsolete prompt and channel markups;
|
changeset |
files
|
| Sat, 05 Jan 2008 23:05:29 +0100 |
chaieb |
Tuned relevant premises selection
|
changeset |
files
|
| Sat, 05 Jan 2008 21:57:18 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 05 Jan 2008 21:37:24 +0100 |
wenzelm |
added symbol output mode, with XML escapes;
|
changeset |
files
|
| Sat, 05 Jan 2008 21:37:23 +0100 |
wenzelm |
export session id;
|
changeset |
files
|
| Sat, 05 Jan 2008 21:37:21 +0100 |
wenzelm |
secure_main: removed separate welcome;
|
changeset |
files
|
| Sat, 05 Jan 2008 21:37:20 +0100 |
wenzelm |
removed unused text_charref, cdata;
|
changeset |
files
|
| Sat, 05 Jan 2008 21:37:18 +0100 |
wenzelm |
added INIT message, with pid and session property;
|
changeset |
files
|
| Sat, 05 Jan 2008 09:16:27 +0100 |
haftmann |
more instantiation
|
changeset |
files
|
| Sat, 05 Jan 2008 09:16:11 +0100 |
haftmann |
adhering to instantiation policy
|
changeset |
files
|
| Fri, 04 Jan 2008 23:56:47 +0100 |
huffman |
cleaned up some proofs
|
changeset |
files
|
| Fri, 04 Jan 2008 23:24:32 +0100 |
huffman |
simplified some proofs
|
changeset |
files
|