Add syntax for mach.int.UInt32.{add_with_carry,add3,mul_double}
Set io.StdIO.{flushed,current_line,cur_pos,cur_linenum} ghost and remove the syntax
Comment codes which use UInt64
Mlw_exec.{mark_idents,is_exec_ident} should take a lsymbol instead of an ident
new (simple) example: all_distinct
new example with Fibonacci numbers
(examples with Fibonacci numbers) Incomplete specification fixed
(another example fixed)
no need for lemma fib_pos
Zeckendorf decomposition
Zeckendorf decomposition: linear implementation
Emacs mode: missing keyword 'raise'
cleaning up
new library array.ToList
new library list.Sum
new example 'cursor'

these are experiments following the working group on June 6, 2014
improved cursor example
TPTP: fix representation of "inv" for rationals in drivers
TPTP: Metitarski has special TPTP syntax
why3-cpulimit: include signal.h (thanks to John Marino)