Adam Chlipala wrote:
Available as usual at: http://www.impredicative.com/ur/
CHANGELOG for this release:
- Bug fixes
- Improvement to choice of line number to cite in record unification
error
messages
- SELECT DISTINCT
- New extra demos: orm1 and versioned1
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Hi Adam, I don't know if I am missing something simple, but I tried
compiling Gian urblog with the latest release
I compiled the project with mysql as dbms. I created the urblog database
and imported urblog.sql
but when I run urblog.exe I get the following errors :
Fatal initialization error: Error preparing statement: Unknown column
'T_uw_id' in 'where clause'
It worked well with the release before last...
When I run the executable compiled for PostgreSQL,
I get the following:
Database connection initialized.
Listener socket bind failed
Any ideas ?
Thanks
Manu
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
