polyml  

Messages by Thread

• • Re: [polyml] linking polyML modules to C David Topham
• [polyml] PolyML (or just SML) sample code? David Topham
  • Re: [polyml] PolyML (or just SML) sample code? Michael Norrish
• [polyml] Problem with Real.toLargeInt T.D. Telford
  • Re: [polyml] Problem with Real.toLargeInt David Matthews
• [polyml] ProofPower as an SML environment and IDE David Topham
• [polyml] GUI Interface: drawing using Xlib primitives David Topham
• [polyml] Posix / BinIO bug (?) Peter Gammie
  • Re: [polyml] Posix / BinIO bug (?) David Matthews
• [polyml] ML_dbase David Topham
  • Re: [polyml] ML_dbase David Matthews
• [polyml] Isabelle as an SML environment and IDE Aleks Kissinger
  • Re: [polyml] [isabelle] Isabelle as an SML environment and IDE Omar Montano Rivas
• [polyml] GUI Interface (Motif) David Topham
  • Re: [polyml] GUI Interface (Motif) Rob Arthan
• [polyml] GUI Interface David Topham
  • Re: [polyml] GUI Interface Makarius
  • Re: [polyml] GUI Interface David Topham
  • Re: [polyml] GUI Interface Makarius
  • Re: [polyml] GUI Interface Peter Gammie
  • Re: [polyml] GUI Interface David Matthews
• Re: [polyml] polyml Digest, Vol 110, Issue 5 David Topham
• Re: [polyml] polyml Digest, Vol 110, Issue 3 David Topham
  • Re: [polyml] Poly/ML David Matthews
• [polyml] Poly/ML David Topham
  • Re: [polyml] Poly/ML Richard Molitor
  • [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Ian Zimmerman
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Buday Gergely
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] me
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Makarius
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Lucas Dixon
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Ian Zimmerman
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Ian Zimmerman
  • Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML] Phil Clayton
• Re: [polyml] emacs SML mode David Matthews
  • Re: [polyml] emacs SML mode Stefan Monnier
  • Re: [polyml] emacs SML mode Makarius
  • Re: [polyml] emacs SML mode Peter Gammie
  • Re: [polyml] emacs SML mode Makarius
  • Re: [polyml] emacs SML mode Peter Gammie
  • Re: [polyml] emacs SML mode Makarius
  • Re: [polyml] emacs SML mode Lucas Dixon
  • Re: [polyml] emacs SML mode Makarius
  • Re: [polyml] emacs SML mode Lucas Dixon
  • Re: [polyml] emacs SML mode Aleks Kissinger
  • Re: [polyml] emacs SML mode Ian Zimmerman
  • Re: [polyml] emacs SML mode Peter Gammie
  • Re: [polyml] emacs SML mode Ian Zimmerman
  • Re: [polyml] emacs SML mode David Matthews
  • Re: [polyml] emacs SML mode Peter Gammie
  • Re: [polyml] emacs SML mode David Matthews
  • Re: [polyml] emacs SML mode Phil Clayton
• [polyml] polyc crash Mario Carneiro
• [polyml] regarding problem with PolyML debugging prompt saroj
  • Re: [polyml] regarding problem with PolyML debugging prompt Rob Arthan
• [polyml] address type in Poly/ML interface to C (FFI) me
  • Re: [polyml] address type in Poly/ML interface to C (FFI) Phil Clayton
  • Re: [polyml] address type in Poly/ML interface to C (FFI) me
  • Re: [polyml] address type in Poly/ML interface to C (FFI) Phil Clayton
  • Re: [polyml] address type in Poly/ML interface to C (FFI) me
• [polyml] Motif in Poly/ML: sometimes works, sometimes not Piotr Trojanek
  • Re: [polyml] Motif in Poly/ML: sometimes works, sometimes not David Matthews
  • Re: [polyml] Motif in Poly/ML: sometimes works, sometimes not Piotr Trojanek
  • Re: [polyml] Motif in Poly/ML: sometimes works, sometimes not David Matthews
• [polyml] Poly/ML Process Monitor Tjark Weber
• [polyml] measuring memory usage Tom Meumann
  • Re: [polyml] measuring memory usage David Matthews
• [polyml] can't quit sessions Tom Meumann
  • Re: [polyml] can't quit sessions Rob Arthan
  • Re: [polyml] can't quit sessions Tom Meumann
• [polyml] .polyml and poly-stats Makarius
  • Re: [polyml] .polyml and poly-stats David Matthews
  • Re: [polyml] .polyml and poly-stats Rob Arthan
  • Re: [polyml] .polyml and poly-stats David Matthews
  • Re: [polyml] .polyml and poly-stats Rob Arthan
  • Re: [polyml] .polyml and poly-stats David Matthews
  • Re: [polyml] .polyml and poly-stats Rob Arthan
  • Re: [polyml] .polyml and poly-stats mmoel
  • Re: [polyml] .polyml and poly-stats Tjark Weber
• [polyml] Poly/ML Array.array segmentation fault Ramana Kumar
  • Re: [polyml] Poly/ML Array.array segmentation fault David Matthews
• [polyml] Poly/ML 5.5.2 make fails with linker error Y.K. Tan
  • Re: [polyml] Poly/ML 5.5.2 make fails with linker error David Matthews
• [polyml] standard input contains a leading blank line? (5.5.2 with --enable-shared) Michael Norrish
  • Re: [polyml] standard input contains a leading blank line? (5.5.2 with --enable-shared) David Matthews
• [polyml] Poly on MinGW Rob Arthan
  • Re: [polyml] Poly on MinGW David Matthews
  • Re: [polyml] Poly on MinGW Rob Arthan
  • Re: [polyml] Poly on MinGW David Matthews
  • Re: [polyml] Poly on MinGW Makarius
  • Re: [polyml] Poly on MinGW Rob Arthan
  • Re: [polyml] Poly on MinGW David Matthews
  • Re: [polyml] Poly on MinGW Makarius
• [polyml] Run out of store - interrupting threads David Matthews
  • Re: [polyml] Run out of store - interrupting threads mmoel
  • Re: [polyml] Run out of store - interrupting threads David Matthews
  • Re: [polyml] Run out of store - interrupting thread mmoel
  • [polyml] Run out of store - interrupting threads Gergely Buday
  • Re: [polyml] Run out of store - interrupting threads David Matthews
  • Re: [polyml] Run out of store - interrupting threads buday.gergely
  • Re: [polyml] Run out of store - interrupting threads James Clarke
  • Re: [polyml] Run out of store - interrupting threads David Matthews
  • Re: [polyml] Run out of store - interrupting threads James Clarke
• [polyml] Poly/ML 5.5.2 Released David Matthews
  • Re: [polyml] Poly/ML 5.5.2 Released Ramana Kumar
  • Re: [polyml] Poly/ML 5.5.2 Released Ramana Kumar
  • Re: [polyml] Poly/ML 5.5.2 Released Rob Arthan
  • Re: [polyml] Poly/ML 5.5.2 Released David Matthews
  • Re: [polyml] Poly/ML 5.5.2 Released Rob Arthan
  • Re: [polyml] Poly/ML 5.5.2 Released David Matthews
  • Re: [polyml] Poly/ML 5.5.2 Released Rob Arthan
  • Re: [polyml] Poly/ML 5.5.2 Released David Matthews
  • Re: [polyml] Poly/ML 5.5.2 Released Rob Arthan
• [polyml] polyc Rob Arthan
  • Re: [polyml] polyc Makarius
  • Re: [polyml] polyc Phil Clayton
  • Re: [polyml] polyc David Matthews
  • Re: [polyml] polyc Rob Arthan
• [polyml] Summer School on Advances in Programming Langauges Belikov, Evgenij
• Re: [polyml] [isabelle-dev] PolyML crashes Michael Norrish
  • Re: [polyml] [isabelle-dev] PolyML crashes David Matthews
  • Re: [polyml] [isabelle-dev] PolyML crashes Makarius
  • Re: [polyml] [isabelle-dev] PolyML crashes Makarius
• [polyml] Subsecond time in stat structures Jerry James
  • Re: [polyml] Subsecond time in stat structures David Matthews
  • Re: [polyml] Subsecond time in stat structures Jerry James
• [polyml] (Pseudo) static linking with C Kobayashi, Tomoyas
  • Re: [polyml] (Pseudo) static linking with C David Matthews
  • Re: [polyml] (Pseudo) static linking with C Kobayashi, Tomoyas
• [polyml] Exception- Subscript unexpectedly raised while compiling Lars Noschinski
  • Re: [polyml] Exception- Subscript unexpectedly raised while compiling David Matthews
  • Re: [polyml] Exception- Subscript unexpectedly raised while compiling David Matthews
• [polyml] printInAlphabeticalOrder Rob Arthan
  • Re: [polyml] printInAlphabeticalOrder David Matthews
• [polyml] Pretty-printing infix constructors Rob Arthan
  • Re: [polyml] Pretty-printing infix constructors David Matthews
• [polyml] PolyML.pointerEq Brian Campbell
  • Re: [polyml] PolyML.pointerEq David Matthews
  • Re: [polyml] PolyML.pointerEq Makarius
  • Re: [polyml] PolyML.pointerEq David Matthews
  • Re: [polyml] PolyML.pointerEq Brian Campbell
• [polyml] checking --enable-shared from within the REPL Michael Norrish
  • Re: [polyml] checking --enable-shared from within the REPL David Matthews
  • Re: [polyml] checking --enable-shared from within the REPL Phil Clayton
  • Re: [polyml] checking --enable-shared from within the REPL David Matthews
• [polyml] excessive compile times? Michael Norrish
  • Re: [polyml] excessive compile times? David Matthews
  • Re: [polyml] excessive compile times? Michael Norrish
• [polyml] Isabelle/ML IDE Makarius
  • [polyml] Isabelle/ML IDE (update) Makarius
  • Re: [polyml] Isabelle/ML IDE (update) Makarius
  • Re: [polyml] Isabelle/ML IDE (update) Tjark Weber
  • Re: [polyml] Isabelle/ML IDE (update) Ramana Kumar
  • Re: [polyml] Isabelle/ML IDE (update) Tjark Weber
  • Re: [polyml] Isabelle/ML IDE (update) Makarius
• [polyml] Flexible records and overloading David Matthews
  • Re: [polyml] Flexible records and overloading Phil Clayton
  • Re: [polyml] Flexible records and overloading David Matthews
• [polyml] managing compilation Buday Gergely
  • Re: [polyml] managing compilation Phil Clayton
• [polyml] response to PolyML on Android and iOS thread Brad Cantrell
  • Re: [polyml] response to PolyML on Android and iOS thread David Matthews
• [polyml] Id like to suggest porting to Android Brad Cantrell
  • Re: [polyml] Id like to suggest porting to Android Aleks Kissinger
  • Re: [polyml] Id like to suggest porting to Android David Matthews
  • Re: [polyml] Id like to suggest porting to Android Matvey Soloviev
  • Re: [polyml] Id like to suggest porting to Android David Matthews
• [polyml] polyc and poly --script René Neumann
  • Re: [polyml] polyc and poly --script Ramana Kumar
  • Re: [polyml] polyc and poly --script René Neumann
  • Re: [polyml] polyc and poly --script David Matthews
  • Re: [polyml] polyc and poly --script René Neumann
  • Re: [polyml] polyc and poly --script David Matthews
  • Re: [polyml] polyc and poly --script René Neumann
  • Re: [polyml] polyc and poly --script Phil Clayton
  • Re: [polyml] polyc and poly --script David Matthews
  • Re: [polyml] polyc and poly --script Phil Clayton
• [polyml] Poly/ML 5.5.1 David Matthews
  • Re: [polyml] Poly/ML 5.5.1 Ramana Kumar
  • Re: [polyml] Poly/ML 5.5.1 David Matthews
  • Re: [polyml] Poly/ML 5.5.1 Ramana Kumar
  • Re: [polyml] Poly/ML 5.5.1 David Matthews
  • Re: [polyml] Poly/ML 5.5.1 Ramana Kumar
  • Re: [polyml] Poly/ML 5.5.1 David Matthews
  • [polyml] pkg-config for Poly/ML Phil Clayton
  • Re: [polyml] pkg-config for Poly/ML David Matthews
  • Re: [polyml] pkg-config for Poly/ML Alex Merry
  • Re: [polyml] pkg-config for Poly/ML Ramūnas Gutkovas
  • Re: [polyml] pkg-config for Poly/ML Phil Clayton
  • Re: [polyml] pkg-config for Poly/ML David Matthews
  • Re: [polyml] pkg-config for Poly/ML David Matthews
  • Re: [polyml] pkg-config for Poly/ML Phil Clayton
  • Re: [polyml] pkg-config for Poly/ML David Matthews
  • Re: [polyml] Poly/ML 5.5.1 Anthony Fox
  • Re: [polyml] Poly/ML 5.5.1 David Matthews
  • Re: [polyml] Poly/ML 5.5.1 David Matthews
  • Re: [polyml] Poly/ML 5.5.1 Anthony Fox
  • Re: [polyml] Poly/ML 5.5.1 Makarius
• [polyml] Warning building Poly/ML on Mac OS X Rob Arthan
• [polyml] Incorrect floating point conversion Florian Weimer

• Earlier messages
• Later messages