isabelle: Changelog

wenzelm [Tue, 11 Oct 2005 13:30:17 +0200] rev 17825

tuned;

wenzelm [Tue, 11 Oct 2005 13:28:08 +0200] rev 17824

added string_of_pid;

wenzelm [Tue, 11 Oct 2005 13:28:07 +0200] rev 17823

raw symbols: allow non-ASCII chars (e.g. UTF-8); tuned comment;

wenzelm [Tue, 11 Oct 2005 13:28:06 +0200] rev 17822

moved string_of_pid to ML-Systems;

wenzelm [Tue, 11 Oct 2005 13:28:05 +0200] rev 17821

ML_SUFFIX in targets (experimental);

wenzelm [Tue, 11 Oct 2005 13:28:04 +0200] rev 17820

cleanup backup images;

paulson [Mon, 10 Oct 2005 15:35:29 +0200] rev 17819

small tidy-up of utility functions

wenzelm [Mon, 10 Oct 2005 14:43:45 +0200] rev 17818

updated print_tac;

huffman [Mon, 10 Oct 2005 05:46:17 +0200] rev 17817

add names to infix declarations

huffman [Mon, 10 Oct 2005 05:30:02 +0200] rev 17816

new syntax translations for continuous lambda abstraction

isabelle