comparison NEWS @ 622:8a3a25f2d42c

uncoupling oracle from context
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 07 May 2019 12:32:21 +0200
parents 351ab0da0150
children
comparison
equal deleted inserted replaced
621:8adc8cfb50c7 622:8a3a25f2d42c