Oz and Mozart Users Mailing List
By Subject
5450 messages sorted by:
[ author ]
[ date ]
[ thread ]
About this archive
Mail actions: [ mail a new topic ]
Starting: Fri Dec 18 1998 - 17:24:38 CET
Ending: Sun Dec 14 2003 - 03:45:31 CET
- "class" constraints
- "for" question (newbie)
- "or" statement
- "Read" procedure?
- 'Indent' for Oz Programs?
- (no subject)
- (none)
- (none))
- *** No rule to make target `TARGET_CXXFLAGS='
- *.so compatibility was: [ANN] Mozart 1.2.5 Revision 1
- -ftracer problem
- -mouse crash-
- .NET platform
- .ozrc won't configure ozd's inspector
- 0 in a ByteString
- 1.3.0 release schedule
- 11WLPE: 2nd CFP
- 2nd CfP: 3rd Rule-Based Constraint Reasoning and Programming (RCoRP'01)
- <in expression> syntax
- [] New Mozart Mailing Lists
- [] STDIN/STDOUT and unix signals?
- [ANN] Alice 0.9.1 released
- [ANN] Call for Distros for Mozart 1.2.4
- [ANN] Debian packages for Mozart 1.2.5
- [ANN] fixed memory leaks
- [ANN] less confusion on download pages
- [ANN] Mandrake 8.1 binary RPMs for Mozart 1.2.5 Revision 1
- [ANN] MBase 0.8 Released (Mathematical Knowledge Base)
- [ANN] mogul:/duchier/xml/parser (Version 0.3)
- [ANN] Mozart 1.2.1 released
- [ANN] Mozart 1.2.3 for Mandrake 7.2
- [ANN] Mozart 1.2.3 for Mandrake 8.1
- [ANN] Mozart 1.2.3 for Solaris 2.6
- [ANN] Mozart 1.2.3 for SuSE 7.1
- [ANN] Mozart 1.2.3 for SuSE 7.2
- [ANN] Mozart 1.2.3 on MacOS X
- [ANN] Mozart 1.2.3 RedHat 7.0
- [ANN] Mozart 1.2.3 RedHat 7.2
- [ANN] Mozart 1.2.4 for Mandrake 8.2
- [ANN] Mozart 1.2.4 for Solaris 9
- [ANN] Mozart 1.2.4 for SuSE 7.3
- [ANN] Mozart 1.2.4 is released!
- [ANN] Mozart 1.2.4, updated Windows installer
- [ANN] Mozart 1.2.5 for Red Hat 9.0
- [ANN] Mozart 1.2.5 for Red Hat Enterprise Linux AS 2.1
- [ANN] Mozart 1.2.5 for SuSE 8.2
- [ANN] Mozart 1.2.5 for the iPaq/linux
- [ANN] Mozart 1.2.5 is released
- [ANN] Mozart 1.2.5 Revision 1
- [ANN] Mozart for Darwin (MacOS X)
- [ANN] new Mandrake 9.1 binary RPMs for Mozart 1.2.5
- [ANN] New Mozart 1.2.4 for MacOS X
- [ANN] new source RPM for Mozart 1.2.5
- [ANN] ozmake 0.77 (bugfix release)
- [ANN] ozmake 0.79
- [ANN] ozmake 0.80
- [ANN] ozmake 0.81
- [ANN] ozmake PDN 0.76 -- ALL OF YOU _MUST_ READ THIS!
- [ANN] ozmake version 0.2
- [ANN] ozmake: project building and package management
- [ANN] Release of ozmake 0.83 (automatic dependencies)
- [ANN] Release of ozmake 0.84 (bug fix)
- [ANN] Release of ozmake 0.85 (ozl autodepend)
- [ANN] Release of ozmake 0.86
- [ANN] SuSE 7.3 & 7.2 binary RPMs for Mozart 1.2.5 Revision 1
- [ANN] SuSE 8.2 - call for rpm testers
- [ANN] update of Gentoo ebuilds
- [ANN] update of mozart-gtk
- [ANN] update of mozart-gtk for MacOS X
- [ANN] updated Mozart 1.2.4 for Windows
- [ANN] XML parser (v0.1)
- [ANN] XML parser (v0.2)
- [ANN] Year 2002 v1.0
- [ANN} Mozart 1.2.3 for SuSE-7.3
- [e-lang] capabilities in Mozart-Oz
- [e-lang] Capability Question on Oz List
- [e-lang] Deserializing cyclic references, and constraint type systems
- [Fwd: Functional language efficiency]
- [Fwd: Mozart 1.2.3]
- [Fwd: MOZART tool]
- [Fwd: mozart-oz and databases on linux]
- [Fwd: PhD Opportunities]
- [Fwd: Some Q's re Oz spaces]
- [Fwd: To use Oz in Vim]
- [FYI] fixed temporary interruption of mailing list traffic
- [Mozart Oz Users] [Oz] Scheduler
- [Mozart Oz Users] Apropos popularising Mozart/Oz
- [Mozart Oz Users] Debugger Spec.?
- [Mozart Oz Users] Directed Search in Spaces?
- [Mozart Oz Users] element propagator
- [Mozart Oz Users] method syntax
- [Mozart Oz Users] Mozart documentation -- proposal to simplify it
- [Mozart Oz Users] Mozart documentation -- proposal to simplifyi t
- [Mozart Oz Users] Mozart documentation -- proposal to simplifyit
- [Mozart Oz Users] newbie question
- [Mozart Oz Users] newbie question (declarations)
- [Mozart Oz Users] order of ports?
- [Mozart Oz Users] Other Languages Interface
- [Mozart Oz Users] Parallel search engines for deep search trees
- [Mozart Oz Users] Performance of the Distribution Subsystem
- [Mozart Oz Users] Scheduler + Jobshop problem
- [Mozart Oz Users] Scheduling: Assigning start times
- [Mozart Oz Users] strings/bytestrings (was: pickle loading/writing: more info)
- [Mozart Oz Users] test
- [Mozart Oz Users] With Apologies - how do I get off this list?
- [MOZART-DLL REQUIREMENTS] Announcement
- [MOZART-DLL REQUIREMENTS] Use Case 1: EmbedEmulationEngine
- [MOZART-DLL REQUIREMENTS] Website Announcement
- [Newbie] Blocking statement in constraint programming
- [Newbie] If statement and contraint programming
- [OT] optional then?
- [Oz] "Failed Variables"
- [Oz] (CFP) TRICS: Techniques foR Implementing Constraint programming Systems
- [Oz] (Snd CFP) TRICS: Techniques foR Implementing Constraint programming
- [Oz] .NET platform
- [Oz] [Fwd: Oz users]
- [Oz] Animation programming in Oz
- [Oz] Any news about 1.1?
- [Oz] Applying a list of procedures
- [Oz] Beginner's question
- [Oz] beginner: distributing data fields over documents
- [Oz] board game programming (chess, checkers, etc.) possible with the Contraint and FD features of OZ3?
- [Oz] Book on programming techniques using Oz
- [Oz] Books on Distributed and Constraint Programming
- [Oz] Bridge Scheduling
- [Oz] Building Mozart for Windows (Was: (none))
- [Oz] Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming
- [Oz] Call For Papers: Las Vegas,USA, June 25-28; 2001 Int'l. Conf.; PDPTA+CISST+ICAI+IC+METMBS+ERSA+ISE+CIC
- [Oz] Calling a Mozart procedure from C
- [Oz] Calling a Mozart procedure from C)
- [Oz] Calling Mozart from Tcl
- [Oz] CFP - Education in Language and Speech Technology
- [Oz] CFP: CP 2000
- [Oz] CFP: CP2000, Sept 18-22, Singapore, 2000
- [Oz] cfp: Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics
- [Oz] Client runtime download
- [Oz] Closing tuples/records
- [Oz] college timetable
- [Oz] college timetable demo
- [Oz] Compiling
- [Oz] Compiling Oz file
- [Oz] Compiling Oz program
- [Oz] COMPOzE
- [Oz] Contributing Packages to MOGUL
- [Oz] Convert String to Int
- [Oz] CORBA4Oz
- [Oz] CORBA4Oz Andres
- [Oz] CORBA4Oz answer from SICS
- [Oz] CORBA4Oz proposal
- [Oz] CSL'99 3rd CFP (Text & LaTex versions)
- [Oz] CSPLib v1.0
- [Oz] Custom search strategies for choice points.
- [Oz] Cygwin
- [Oz] Debugger question
- [Oz] dis / using ports in search
- [Oz] Distributed webserver design question
- [Oz] Distribution problems
- [Oz] Doc and/or source available for contrib/text/X[MS]L-*.osf ?
- [Oz] Document for QTk package
- [Oz] Documentation
- [Oz] Domain or Interval.
- [Oz] dynamic creation of objects
- [Oz] equality of unbound variables
- [Oz] ESOP 2000: Call for Papers
- [Oz] Examples of configuration-type problems
- [Oz] Expert Systems and Oz
- [Oz] Factoring Mozart's Record Construct
- [Oz] Filtering of values of constraint variables
- [Oz] Final CFP: Workshop on Analysis and Visualization of Constraint Programs
- [Oz] Forget it: Hmmm: applying non-procedure and non-object
- [Oz] Four Mozart-related talks at ICLP99
- [Oz] Future of Oz
- [Oz] future syntax
- [Oz] Fwd: regex for win32
- [Oz] Generating
- [Oz] Generating lists of variables
- [Oz] Getting the output of Oz Browser in a file
- [Oz] Help ... (orelse) (fwd)
- [Oz] Help Needed
- [Oz] Help using Search module ...
- [Oz] Help: choice statement ...
- [Oz] Help: Lazy evaluation ..
- [Oz] Help: pointers for non-unary resource scheduling ...
- [Oz] Hmmm: applying non-procedure and non-object
- [Oz] Identity of functions
- [Oz] IDL workshop
- [Oz] incremental compilation
- [Oz] Introduction to Oz for Prolog programmers
- [Oz] Is there any Input procedures????
- [Oz] JBoss/Weblogic/EAServer/Oracle Application Server and Mozart
- [Oz] Lazy implementation of automata operations
- [Oz] LDAP interface design questions
- [Oz] Link and Mozart
- [Oz] Linux
- [Oz] Loading modules in OPI
- [Oz] Locking cells by default
- [Oz] Loop extensions
- [Oz] LPNMR'99 Dec 2-4, 1999 (changed date!) CFP
- [Oz] MarketProfile2001 ALERT - Subscriber Notification zslis
- [Oz] Meta-programming in Oz
- [Oz] Mozart 1-.0.1 patch for upgrading to tcl8.2, install IncrTcl, and install Cows Expert System
- [Oz] Mozart 1.0 released: platform for distributed and constraint programming
- [Oz] Mozart 1.1
- [Oz] Mozart at SIGCSE
- [Oz] Mozart Jobs at Dr. Hagen & Partner
- [Oz] Mozart or Java: simple fault tolerant distributed application
- [Oz] Mozart Roadmap?
- [Oz] Mozart/AI course?
- [Oz] Mozilla
- [Oz] multi-thread
- [Oz] Multiple evaluation question
- [Oz] Native Tk or Mozart?
- [Oz] New Mozart Release
- [Oz] New Mozart version 1.0.1 released
- [Oz] newbie question...
- [Oz] NewStat
- [Oz] Next release?
- [Oz] Open.socket, receive
- [Oz] Out of memory
- [Oz] Oz and Python
- [Oz] Oz complaints
- [Oz] Oz vs. Squeak
- [Oz] packages of Debian GNU/Linux
- [Oz] performant way to make record from non-unique atom#value lists
- [Oz] Ports need a close operation
- [Oz] PPDP 2001: Call for Papers (second call)
- [Oz] Preprocessor
- [Oz] Printing
- [Oz] Problem linking C programs into Mozart
- [Oz] Problem using Flatten with FS variables ....
- [Oz] Programming Mozart
- [Oz] Q: FD-Variable
- [Oz] QTk beta release
- [Oz] regexp library for win32
- [Oz] Research/development jobs available to work on Mozart
- [Oz] Scheduling: MT10 Without Compiler
- [Oz] search/replace in text strings
- [Oz] sending large files over the network
- [Oz] side effects in a search?
- [Oz] Simulation in OZ
- [Oz] Sockets
- [Oz] SQL interface
- [Oz] Stand-Alone Demos
- [Oz] Status of parallel processor implementation
- [Oz] String.toInt
- [Oz] Subscription to mailing list & Blackboard question
- [Oz] Summer School on Constraints in Computational Logics
- [Oz] Tapping a watcher on the shoulder
- [Oz] TclTk extensions
- [Oz] Teaching Oz
- [Oz] testing
- [Oz] The Oz Minesweeper
- [Oz] Thesis on "Programming Constraint Services"
- [Oz] Time allocation for threads (and other questions)
- [Oz] timetable - nursery problem
- [Oz] trouble running .oza applets in WinNT
- [Oz] Try statement
- [Oz] Tutorials in PDF format
- [Oz] Typecasting
- [Oz] US Participant needed
- [Oz] user's manual
- [Oz] Using Mozart & benchmarks
- [Oz] Using Oz for large databases
- [Oz] vb interface and job-shop modelling
- [Oz] Who (where and how many) are we?
- [Oz] Who in Silicon Valley is interested in a Mozart Users Group
- [Oz] Win32 and DLLs
- [Oz] Workshop: multiparadigm programming with OO languages
- [Oz] XOR
- [ozmake] help needed for quoting shell commands on Windows
- [ps.oz.support] Report: Building Mozart on MacOS X
- [R: Problems with Remote.manager again]
- _Extremely_ strange behaviour. Help!
- A begginer problem
- A Challenge: RSS channels for Mozart
- A Conceptual Question
- A couple of questions
- a Fault message
- A FD problem.
- a flexible-flow-shop problem
- a minor proposal (anchor stores)
- a question about a QTk-example (from paper)...
- A question about propagation and distribution
- A question about the FS Module
- A question..
- A question]
- a repeated GUMP Question
- about "_"
- About exceptions
- About GUI and IDE Interface
- About GUI and IDE Interface - anyone thought about REBOL?
- About Ozmake, Tk, getS and Qtk
- about ports
- About propagators
- About Search Module
- accept function problems
- Access Oracle from Oz
- Access to file/line info?
- accessing Oz FROM C(++)
- Accreting features or attributes in object inheritance?
- Adaptive recomputation?
- Adding methods at runtime?
- adjusting the browser
- Advice desired on isolating a space
- Advice for learning Oz
- Again: Select package under Windows NT/2000/XP
- Agents & Mozart
- Alice 0.9.2 released
- Alice Programming System Released
- All in one execs...
- AllDiff Constraint
- alpha-beta
- An "calculator" for PI-calculus in Oz?
- Analogue of Prolog's copy_term
- Animated kernel language interpreter
- Anon CVS access?
- Another compiling problem
- Answering your questions.
- Ants
- apalled (was: universal combinator)
- apidoc for OZ?
- applets on mozilla
- Application arguments
- Application development?
- Application Parameters
- Application troubles
- Arbitrary data formats.
- Are spaces still sited?
- Are there any courses using Mozart-Oz available via distance education?
- Are there any limits in Oz ?
- Array to Record
- ask constraints
- Atomic binding
- automaton
- AW: [Oz] JBoss/Weblogic/EAServer/Oracle Application Server and Mo
- AW: AW: Mozart/Alice future and GUI building.
- AW: GUI buiding in MOzart/Alice
- AW: I'm not able to grasp the basics of Oz.
- AW: May be of interest -- GPL version of SAP database
- AW: Mozart/Alice future and GUI building.
- Back from vacation
- Backwards compatibilty and loop counter
- Bad error message.