Added tag Isabelle2013-1-RC3 for changeset fbcaa9f08879

avoid non-portable int constant -- make SML/NJ happy;

avoid empty input and its adverse effect on socket communication, e.g. output message getting "stuck" after vacuous update due to Session.update_options;

prefer TCP_NODELAY -- avoid extra buffering due to Nagle's algorithm;

basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely;

removed junk (cf. 409d7f7247f4);

fix a citation

declare Quotient_Examples/FSet.thy as almost obsolete

update documentation of important public ML functions in Lifting

update documentation of Lifting/Transfer and Quotient