Activity
From 08 Dec 2016 to 06 Jan 2017
14 Dec 2016
-
11:40 Feature #993 (In Progress): New function: RingQQi()? extension of QQ with imaginary unit
- It would be handy to have @RingQQi()@ (or @NewRingQQi()@).
Very simple to do in CoCoA5 (in this case it has to be ...
13 Dec 2016
-
16:53 Design #990: CoCoA-5 distribution: tidying
- I think it is probably better to copy explicitly the files we want in the distribution, rather than copy everything a...
08 Dec 2016
-
20:08 Slug #991: make htmldoc always recreates everything (even if no change was made)
- The files to check for changes should be @CoCoAHelp.xml@, @aux-files/GUI_help.xsl@, and the files in @aux-files/GUI-e...
-
13:13 Slug #991: make htmldoc always recreates everything (even if no change was made)
- It may be enough to create (using @touch@?) two sentinel files: one immediately before producing all the HTML files, ...
-
13:10 Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)
- It is mildly annoying that the @htmldoc@ target is always rebuilt even if there was no change to the file @CoCoAHelp....
Also available in: Atom