Displaying 2 results from an estimated 2 matches for "agda".
Did you mean:
ada
2011 Jan 04
2
unicode variable and function names?
Dear List,
Is it possible to have function names like ? (unicode universal quantifier)?
This question is inspired by agda source code, which supports this.
http://www.cs.nott.ac.uk/~nad/listings/lib-0.4/Algebra.html
It would be handy to use. My guess is, however, that it's not supportet in R.
Regards,
Steve
2005 Sep 29
0
Re: Need HELP in upgrading SAMBA 2.2.12 to 3.0.20
...er
than on your production machine, then run the new version of
testparm on the smb.conf file from your older system. Ask
this list about any errors and warnings (and CC me (:-)).
Then try using the new samba to provide the same kinds
of files, and change over when you're confident.
--dave
Agda Maria Galli Cartolano wrote:
> Good people,
>
>
>
> I need some help...
>
> I am trying to upgrade SAMBA 2.2.12 to 3.0.20 but I am very confused and
> cannot find my way...
>
> The SAMBA server is a SunFire V210, Solaris 9, 64 bit server.
>
> I went to the...