]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/nCicPp.mli
1) NCicLibrary (which is untrusted) moved after NCicUntrusted.
[helm.git] / helm / software / components / ng_kernel / nCicPp.mli
2009-06-16 Claudio Sacerdoti... 1) NCicLibrary (which is untrusted) moved after NCicUnt...
2009-04-10 Claudio Sacerdoti... The sequent viewer now considers the context to render...
2009-04-01 Enrico Tassiadded tentative elim
2009-03-11 Enrico Tassiadded margin option to the pp
2008-10-13 Enrico Tassippmetasenv & subst added
2008-10-03 Enrico Tassi- NCicPp.ppterm applies the substitution
2008-05-14 Claudio Sacerdoti... New licence used uniformly everywhere.
2008-04-22 Enrico Tassiadded ppcontext
2008-04-09 Enrico Tassibetter pp
2008-04-07 Enrico Tassicontext, metasenv and subst made mandatory in CicPp
2008-04-04 Enrico Tassiadded ppobj
2008-04-04 Enrico Tassidebugging started
2008-04-01 Enrico Tassiadded set_ppterm
2008-03-27 Enrico Tassiadded is_closed to nCicUtils.