Ticket #1832 (closed merge: fixed)

Opened 6 years ago

Last modified 5 years ago

universal quantification not dealt with earlier

Reported by: guest Owned by: igloo
Priority: normal Milestone: 6.8.2
Component: Documentation Version: 6.8.1
Keywords: Cc: g9ks157k@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

The User’s Guide says in 8.4.4.2.: “Notice the way that the syntax fits smoothly with that used for universal quantification earlier.” However, universal quantification is not talked about earlier but later in the manual.

Change History

Changed 6 years ago by igloo

  • difficulty set to Unknown
  • milestone set to 6.8.2

Thanks for the report!

Changed 6 years ago by simonpj

  • status changed from new to closed
  • resolution set to fixed

I'll just remove the sentence. I don't think it conveys anything useful.

Simon

Changed 6 years ago by simonpj

  • status changed from closed to reopened
  • type changed from bug to merge
  • resolution fixed deleted

PS: probably worth merging 

Tue Nov  6 10:43:15 GMT 2007  simonpj@microsoft.com
  * Remove unhelpful sentence (see Trac #1832)

Changed 6 years ago by simonpj

  • owner set to igloo
  • status changed from reopened to new

Changed 6 years ago by igloo

  • status changed from new to closed
  • resolution set to fixed

Merged

Changed 5 years ago by simonmar

  • architecture changed from Multiple to Unknown/Multiple

Changed 5 years ago by simonmar

  • os changed from Multiple to Unknown/Multiple
Note: See TracTickets for help on using tickets.