Subversion Repositories wimsdev

(root)/trunk/ @ 8087 – Rev 18292

Rev 18292 2024-07-01 18:03:35
Author: reyssat
Log message:
[warning message] in type litexp with polexpand, keep - sign in negative term

Path	Last modification			Log	RSS
wims/	18292	1 d 1 h	reyssat	Log	RSS
Makefile.for.debian	13449	2043 d 3 h	georgesk	Log	RSS
wims.conf.distrib.debian	13449	2043 d 3 h	georgesk	Log	RSS