Opened 11 years ago

Closed 7 years ago

#8794 closed enhancement (duplicate)

clean up documentation of logic/

Reported by: mvngu Owned by: mvngu
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: documentation Keywords: beginner doctest documentation
Cc: rws Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: u/rws/ticket/8794 (Commits, GitHub, GitLab) Commit: 7c765b80b73d08e871e949c48dedaad5e0cb79d7
Dependencies: Stopgaps:

Status badges

Description (last modified by mvngu)

As the subject says. This needs to be coordinated with #8797.

Change History (11)

comment:1 Changed 11 years ago by mvngu

  • Description modified (diff)

comment:2 Changed 8 years ago by knsam

  • Keywords beginner doctest documentation added

comment:3 Changed 8 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:4 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:5 Changed 7 years ago by rws

  • Authors set to Paul Scurek, Ralf Stephan
  • Cc rws added
  • Status changed from new to needs_review

Apparently already fixed by Paul Scurek in #15013. The file now has 52 doctests which all pass. The patch below is just to make it visible in the reference manual.

Last edited 7 years ago by rws (previous) (diff)

comment:6 Changed 7 years ago by rws

  • Branch set to u/rws/ticket/8794
  • Modified changed from 02/11/14 14:50:57 to 02/11/14 14:50:57

comment:7 Changed 7 years ago by tscrim

  • Commit set to 7c765b80b73d08e871e949c48dedaad5e0cb79d7

As I recall when doing #15768, there were some sphinx errors with this file. So IMO we should close this as a duplicate and just review #15768.

New commits:

7c765b8trac 8794: add logicparser to reference/.../index.rst

comment:8 Changed 7 years ago by rws

  • Milestone changed from sage-6.2 to sage-duplicate/invalid/wontfix

comment:9 Changed 7 years ago by tscrim

  • Authors changed from Paul Scurek, Ralf Stephan to Paul Scurek, Ralf Stepha
  • Status changed from needs_review to positive_review

comment:10 Changed 7 years ago by tscrim

  • Authors Paul Scurek, Ralf Stepha deleted

comment:11 Changed 7 years ago by vbraun

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.