Parent Directory
|
Revision Log
|
Patch
| revision 989 by abate, Tue Jul 10 18:10:32 2007 UTC | revision 990 by abate, Tue Jul 10 18:16:00 2007 UTC | |
|---|---|---|
| # | Line 1 | Line 1 |
| 1 | type url = Filename of string | Url of string | type url = Filename of string | Url of string |
| 2 | ||
| 3 | ||
| 4 | (* Returns whether a string is a valid url. *) | |
| 5 | ||
| 6 | val is_url: string -> bool | |
| 7 | ||
| 8 | ||
| 9 | (* It recognizes if it is a valid url. If it is connect and bufferize | (* It recognizes if it is a valid url. If it is connect and bufferize |
| 10 | * in a string otherwise consider it as filename | * in a string otherwise consider it as filename |
| 11 | *) | *) |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |