axiom.input
11 views
Skip to first unread message
Ralf Hemmecke
Nov 13, 2019, 5:35:16 PM11/13/19
to fricas-devel
Hi Waldek,
while removing "axiom" from FriCAS, I've found the file
https://github.com/fricas/fricas/blob/master/src/input/axiom.input
I have the impression that this file can be removed. At least I don't
see where it is used. Do you know by chance without much looking?
Otherwise I leave it there.
Ralf
while removing "axiom" from FriCAS, I've found the file
https://github.com/fricas/fricas/blob/master/src/input/axiom.input
I have the impression that this file can be removed. At least I don't
see where it is used. Do you know by chance without much looking?
Otherwise I leave it there.
Ralf
Waldek Hebisch
Nov 15, 2019, 10:58:17 AM11/15/19
to fricas...@googlegroups.com
--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages