[Ur] 3rd day on Ur tutorial

[Adam Chlipala]

Vasili I. Galchin wrote:
>      1) Adam, you mentioned Gian's tutorial and your newer one (sorry 
> Gian ... no offense at all). ???

 From the question marks, I take it there's a question here, but I'm not 
sure what it is. ;)

> Are tutorials self-contained or must I also read the Ur  manual for 
> things like the "database" line?

As Gergely said, Gian's tutorial contains information on how to get 
started with MySQL, but not Postgres.  If you read to the end of that 
"step," you'll see all the information you need to get the code running.

Also, Gian's tutorial isn't official, and there's not much I can do 
about any pedagogical deficiencies you find in it. ;)