in reply to how to jump to some specific line in my code ?

Just for historical reference: http://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf
  • Comment on Re: how to jump to some specific line in my code ?