On Jan 4, 5:26 am, William Stein <wst...@gmail.com> wrote: > > I agree with you Michael, though he expressed himself unclearly. The > tickets was not about fixing doctests anywhere in sage (which your email > strongly suggested!) but about adding arbitrary checks to the doctest > framework.
+1. If there are files in the Sage library which use "Sage:" to introduce doctests, then these should of course be corrected, but a quick check with search_src suggests there aren't any; and I agree with Michael that adding a check for this to the doctest framework would be excessive. David -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
