Codebase list cafeobj / 8758239
minimum doc update Toshimi Sawada 4 years ago
2 changed file(s) with 14 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+13
-0
NEWS less more
0 * CafeOBJ 1.6.0
1 ===============
2
3 - CITP is officially renamed to PTCalc
4 . but documents are not updated yet
5 - PTCalc(CITP) enhacements
6 . :init defined by :def is evaluated in the proof node to which it is applied
7 . :init without substitution can be
8 - Search predicate enhancements
9 . nested search is properly handled
10 . 'show path' accepts state specifier of the form 'depth-state'
11 - Several bug fixes
12
013 * CafeOBJ 1.5.8
114 ===============
215
+1
-1
README.md less more
00 CafeOBJ Interpreter
11 ===================
2 *Version 1.5.9*
2 *Version 1.6.0*
33 2018-12-20
44
55 CafeOBJ is a new generation algebraic specification and programming language.